Relation Owning-Actor

Slots on relation Owning-Actor:

Arity: 2
Documentation: The Actor in an Ownership situation that owns something.
Domain: Ownership
Instance-Of: Binary-Relation, Relation, Set
Range: Potential-Actor

Other Related Equivalence Axioms for Owning-Actor:

(<=> (Owner ?Owner)
     (And (Actor ?Owner)
          (Exists (?Ownership) (Owning-Actor ?Ownership ?Owner))))

(<=> (Activity-Owner ?Actor)
     (And (Actor ?Actor)
          (Exists (?Activity-Ownership)
                  (And (Activity-Ownership ?Activity-Ownership)
                       (Owning-Actor ?Activity-Ownership ?Actor)))))

Other Related Axioms for Owning-Actor:

(Inherited-Facet-Value Slot-Value-Type
                       Activity-Ownership
                       Owning-Actor
                       Potential-Actor)

(Inherited-Facet-Value Slot-Cardinality
                       Activity-Ownership
                       Owning-Actor
                       1)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Activity-Ownership
                       Owning-Actor
                       0)

(Inherited-Facet-Value Slot-Value-Type
                       Non-Legal-Ownership
                       Owning-Actor
                       Potential-Actor)

(Inherited-Facet-Value Slot-Cardinality
                       Non-Legal-Ownership
                       Owning-Actor
                       1)