Relation Owning-Actor

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Ownership

Range: Potential-Actor

Arity: 2

Documentation: The Actor in an Ownership situation that owns something.

Frame References to Owning-Actor:

In class Activity-Ownership:

Slots:

Owning-Actor:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Potential-Actor

In class Non-Legal-Ownership:

Slots:

Owning-Actor:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Potential-Actor

In class Legal-Ownership:

Slots:

Owning-Actor:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Legal-Entity

In class Ownership:

Slots:

Owning-Actor:

Minimum-Slot-Cardinality: 0

Implication Axioms mentioning Owning-Actor:

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

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

Equivalence Axioms mentioning Owning-Actor:

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

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