Class State-Of-Affairs

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Superclass-Of:

Assumption, Influence-Factor, Purpose, Strategic-Purpose, Vision ...

Instance-Of: Class, Relation, Set

Domain-Of: Help-Achieve, Used-Or-Associated-With

Range-Of:

Known-True, Perceived-Risk, Product-Image, State-Description, Vendor-Image ...

Arity: 1

Documentation:

A situation. It is described by or consists of one or more statements asserting that a RELATIONSHIP holds between particular ENTITIES.

Syntactically, a State-Of-Affairs is either
1. a Relational Sentence [Relsent@KIf-Meta] --or--
2. a non-empty list of Relational Sentences.

A Relsent is a list of the form: [R ?x1 ?x2 ... xn] where R is a relation [or function] constant; each xi is a term; and n>0

---

Slots:

Help-Achieve:

Used-Or-Associated-With:

Equivalence Axioms for State-Of-Affairs:

(<=> (State-Of-Affairs ?Soa)
     (Restricted-List-Of-Relsents ?Soa (Setofall ?R (Relation ?R))))

Frame References to State-Of-Affairs:

In class Plan:

Slots:

Intended-Purpose:

Slot-Value-Type: State-Of-Affairs

In class Effect:

Slots:

State-Description:

Slot-Value-Type: State-Of-Affairs

In class Planning-Constraint:

Slots:

State-Description:

Slot-Value-Type: State-Of-Affairs

In class Pre-Condition:

Slots:

State-Description:

Slot-Value-Type: State-Of-Affairs

Implication Axioms mentioning State-Of-Affairs:

(=> (Assumption ?Assumption) (State-Of-Affairs ?Assumption))

(=> (Influence-Factor ?Influence-Factor)
    (State-Of-Affairs ?Influence-Factor))

(=> (Purpose ?Purpose) (State-Of-Affairs ?Purpose))

Equivalence Axioms mentioning State-Of-Affairs:

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

(<=> (Influence-Factor ?Influence-Factor)
     (And (State-Of-Affairs ?Influence-Factor)
          (Exists (?Actor)
                  (And (Known-True ?Actor ?Influence-Factor)
                       (In-Scope-Of-Interest ?Actor
                                             ?Influence-Factor)))))

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