Class Asset


Notes for Asset:


Slots on class Asset:

Arity: 1
Documentation: A Legally Owned-Entity that Has-Monetary-Value
Instance-Of: Class, Relation, Set
Subclass-Of: Has-Monetary-Value, Eo-Entity, Individual, Individual-Thing, Thing ...


Slots on instances of Asset:


Implication Axioms for Asset:

(=> (Asset ?Asset)
    (Exists (?L-O)
            (And (Legal-Ownership ?L-O) (Owned-Entity ?L-O ?Asset))))


Equivalence Axioms for Asset:

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