Class Qua-Entity

Notes for Qua-Entity:

Slots on class Qua-Entity:

Arity: 1
An EO-Entity that is defined in terms of the role it plays in one or more Relationships.
Instance-Of: Class, Role-Class, Relation, Set
Subclass-Of: Eo-Entity, Individual, Individual-Thing, Thing
Superclass-Of: Actor, Assumption, Product, Purpose, Resource ...

Slots on instances of Qua-Entity:

Equivalence Axioms for Qua-Entity:

(<=> (Qua-Entity ?X)
     (Exists (?Rc) (And (Role-Class ?Rc) (Instance-Of ?X ?Rc))))

Other Related Equivalence Axioms for Qua-Entity:

(<=> (Assumption ?Assumption)
     (And (State-Of-Affairs ?Assumption)
          (Qua-Entity ?Assumption)
          (Exists (?Actor) (Assumed ?Actor ?Assumption))))

(<=> (Purpose ?Purpose)
     (And (State-Of-Affairs ?Purpose)
          (Qua-Entity ?Purpose)
          (Or (Exists (?Plan) (Intended-Purpose ?Plan ?Purpose))
              (Exists (?Actor) (Hold-Purpose ?Actor ?Purpose)))))

(<=> (Sub-Plan ?Sub-Plan)
     (And (Plan ?Sub-Plan)
          (Qua-Entity ?Sub-Plan)
          (Exists (?Plan) (Sub-Plan-Of ?Sub-Plan ?Plan))))