Class Qua-Entity

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


Slots:


Equivalence Axioms for Qua-Entity:

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


Implication Axioms mentioning Qua-Entity:

(=> (Assumption ?Assumption) (Qua-Entity ?Assumption))

(=> (Brand ?Brand) (Qua-Entity ?Brand))

(=> (Competitor ?Competitor) (Qua-Entity ?Competitor))

(=> (Image ?Image) (Qua-Entity ?Image))

(=> (Purpose ?Purpose) (Qua-Entity ?Purpose))


Equivalence Axioms mentioning Qua-Entity:

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

(<=> (Brand ?Brand)
     (And (String ?Brand)
          (Qua-Entity ?Brand)
          (Exists (?Vendor) (Brand-Of ?Brand ?Vendor))))

(<=> (Competitor ?Competitor)
     (And (Vendor ?Competitor)
          (Qua-Entity ?Competitor)
          (Or (Exists (?Vendor2)
                      (Competitor-Of ?Competitor ?Vendor2))
              (Exists (?Vendor1)
                      (Competitor-Of ?Vendor1 ?Competitor)))))

(<=> (Image ?Image)
     (And (String ?Image)
          (Qua-Entity ?Image)
          (Or (Exists (?Product) (Product-Image ?Image ?Product))
              (Exists (?Vendor) (Vendor-Image ?Image ?Vendor))
              (Exists (?Brand) (Brand-Image ?Image ?Brand)))))

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