Class Qua-Entity

• Defined in ontology: Enterprise-v0.1

Notes for Qua-Entity:

• This is an abstract class provided mainly for convenience, so it is easy to see what all the Role-Classes are.
• It is up to Ontology developers, users and maintainers to make sure each Role-Class is declared to be a subclass of Qua-Entity or of Actor, which is itself a subclass of Qua-Entity.

Slots on class Qua-Entity:

Arity: 1

Documentation:

An EO-Entity that is defined in terms of the role it plays in one or more Relationships.

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

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