Class Legal-Ownership

Subclass-Of:
Ownership, Eo-Entity, Individual, Individual-Thing, Thing ...
Instance-Of: Class, Relation, Set
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.


Slots:

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

Frame References to Legal-Ownership:

In class Ownership:

Exhaustive-Subclass-Partition: {Legal-Ownership, Non-Legal-Ownership}

Implication Axioms mentioning Legal-Ownership:

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


Equivalence Axioms mentioning Legal-Ownership:

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