Relation Owned-Entity

Slots on relation Owned-Entity:

Arity: 2
Documentation: The Entity in an Ownership situation that is owned.
Domain: Ownership
Instance-Of: Binary-Relation, Relation, Set
Range: Eo-Entity

Other Related Equivalence Axioms for Owned-Entity:

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

Other Related Axioms for Owned-Entity:

(Inherited-Facet-Value Slot-Value-Type
                       Activity-Ownership
                       Owned-Entity
                       Activity)

(Inherited-Facet-Value Slot-Cardinality
                       Activity-Ownership
                       Owned-Entity
                       1)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Activity-Ownership
                       Owned-Entity
                       0)

(Inherited-Facet-Value Slot-Cardinality
                       Non-Legal-Ownership
                       Owned-Entity
                       1)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Non-Legal-Ownership
                       Owned-Entity
                       0)