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
(<=> (Qua-Entity ?X0) (Exists (?Rc) (And (Role-Class ?Rc) (Instance-Of ?X0 ?Rc))))
(=> (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))
(<=> (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)))))