Class Legal-Ownership


Notes for Legal-Ownership:


Slots on class Legal-Ownership:

Arity: 1
Documentation:
a Relationship between a Legal-Entity and some Entity whereby the Legal-Entity has certain *legal* rights with respect to the Entity.
Instance-Of: Class, Relation, Set
Subclass-Of: Ownership, Eo-Entity, Individual, Individual-Thing, Thing ...


Slots on instances of Legal-Ownership:

Owned-Entity:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Owned-Rights:
Minimum-Slot-Cardinality: 0
Owning-Actor:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Legal-Entity, Potential-Actor
Responsibilities-Of-Owner:
Minimum-Slot-Cardinality: 0

Other Related Equivalence Axioms for Legal-Ownership:

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


Other Related Axioms for Legal-Ownership:

(Exhaustive-Subclass-Partition Ownership
                               (Setof Legal-Ownership
                                      Non-Legal-Ownership))