Relation Owned-Entity

• 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: Eo-Entity

Arity: 2

Documentation: The Entity in an Ownership situation that is owned.

Frame References to Owned-Entity:

In class Activity-Ownership:

Slots:

Owned-Entity:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Activity

In class Non-Legal-Ownership:

Slots:

Owned-Entity:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

In class Legal-Ownership:

Slots:

Owned-Entity:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

In class Ownership:

Slots:

Owned-Entity:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Implication Axioms mentioning Owned-Entity:

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

Equivalence Axioms mentioning Owned-Entity:

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