Relation Used-Or-Associated-With

• Defined in ontology: Enterprise-v0.1

Notes for Used-Or-Associated-With:

• Issue: The name suggests something far more general; this is a bit HACKY, only created to help define Critical-Influence-Factor

Slots on relation Used-Or-Associated-With:

Arity: 2

Documentation:

A Relationship between a State-Of-Affairs and a Strategic-Planning Activity whereby the former is used or associated with the latter. An Planning-Assumption of a Strategic-Planning Activity is always Used-Or-Associated-With the Strategic-Planning Activity

Domain: State-Of-Affairs

Instance-Of: Binary-Relation, Relation, Set

Range: Strategic-Planning

Axioms for Used-Or-Associated-With:

(Forall (?Sgc-Planning ?Assumption)
        (=> (And (Strategic-Planning ?Sgc-Planning)
                 (Assumption ?Assumption)
                 (Planning-Assumption ?Sgc-Planning ?Assumption))
            (Used-Or-Associated-With ?Assumption ?Sgc-Planning)))

Other Related Equivalence Axioms for Used-Or-Associated-With:

(<=> (Non-Critical-Influence-Factor ?Non-Critical-Influence-Factor)
     (And (Influence-Factor ?Non-Critical-Influence-Factor)
          (Not (Exists 
                   (?Strategic-Planning)
                   (And (Strategic-Planning ?Strategic-Planning)
                        (Used-Or-Associated-With 
                            ?Non-Critical-Influence-Factor
                            ?Strategic-Planning))))))

(<=> (Critical-Influence-Factor ?Critical-Influence-Factor)
     (And (Influence-Factor ?Critical-Influence-Factor)
          (Exists 
              (?Strategic-Planning)
              (And (Strategic-Planning ?Strategic-Planning)
                   (Used-Or-Associated-With ?Critical-Influence-Factor
                                            ?Strategic-Planning)))))