Class Qua-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

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.

• Qua-Entity is the most general Role-Class
• Every instance of Role-Class is a subclass of Qua-Entity. ;;;
• every Qua-Entity is an instance of at least one Role-Class

---

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)))))