Class Has-Monetary-Value

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Eo-Entity, Individual, Individual-Thing, Thing

Superclass-Of: Asset

Instance-Of: Class, Relation, Set

Arity: 1

Documentation: The property of an Entity whereby it has monetary value.

---

Slots:

Implication Axioms mentioning Has-Monetary-Value:

(=> (Asset ?Asset) (Has-Monetary-Value ?Asset))

Equivalence Axioms mentioning Has-Monetary-Value:

(<=> (Asset ?Asset)
     (And (Has-Monetary-Value ?Asset)
          (Exists (?L-O)
                  (And (Legal-Ownership ?L-O)
                       (Owned-Entity ?L-O ?Asset)))))