Relation Used-Or-Associated-With

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

Instance-Of: Binary-Relation, Relation, Set

Domain: State-Of-Affairs

Range: Strategic-Planning

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.

A Planning-Assumption of a Strategic-Planning Activity is always Used-Or-Associated-With the Strategic-Planning Activity

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

Implication Axioms mentioning Used-Or-Associated-With:

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

(=> (Non-Critical-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)))))

Equivalence Axioms mentioning Used-Or-Associated-With:

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

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