Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Plan
Plan(plan)401-k, 401-k_plan, BW_defence, BW_defense, ECCM, ECM, ESM, ESOP, EW, Gunpowder_Plot, Keogh_plan, Markoff_chain, Markoff_process, Markov_chain, Markov_process, Thatcherism, academic_program, active_air_defense, activism, agenda, air_defense, approach, attack, audit_program, audit_programme, avenue, bacteriological_warfare, battle_plan, beggar-my-neighbor_policy, beggar-my-neighbor_strategy, beggar-my-neighbour_policy, beggar-my-neighbour_strategy, bill_of_Particulars, biofeedback, biological_warfare_defence, biological_warfare_defense, blueprint, bubble, cabal, call_off, cancel, cash_cow, centralism, chemical_defence, chemical_defense, circuit, civil_defense, color_scheme, colour_scheme, computer_architecture...

appearance as argument number 1
-------------------------


(subclass Plan Procedure) Merge.kif 17151-17151 Plan is a subclass of procedure
(documentation Plan EnglishLanguage "A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.") Merge.kif 17152-17153 Plan is a subclass of procedure

appearance as argument number 2
-------------------------


(subclass EducationalProgram Plan) Mid-level-ontology.kif 18225-18225 Educational program is a subclass of plan
(subclass SportsPlay Plan) Mid-level-ontology.kif 18254-18254 Sports play is a subclass of plan
(subclass Diet Plan) Mid-level-ontology.kif 23770-23770 Diet is a subclass of plan
(subclass OperationPlan Plan) MilitaryProcesses.kif 1565-1565 Operation plan is a subclass of plan
(termFormat EnglishLanguage Plan "plan") english_format.kif 1693-1693 Operation plan is a subclass of plan

appearance as argument number 3
-------------------------


(domain subPlan 1 Plan) Merge.kif 4771-4771 The number 1 argument of sub plan is an instance of plan
(domain subPlan 2 Plan) Merge.kif 4772-4772 The number 2 argument of sub plan is an instance of plan

antecedent
-------------------------


(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))		 Merge.kif 17155-17163 If X is an instance of plan, Y is an instance of content bearing object, and Y contains information X, then there exists Z such that Z is an instance of planning and Y is a result of Z
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))		 Military.kif 32-44 If X is an instance of plan, Y is an instance of process, and X expresses Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of planning (3) W is an instance of content bearing physical (4) W contains information X (5) W is a result of Z (6) the beginning of the time of existence of Z happens earlier than the beginning of the time of existence of Y (7) the end of the time of existence of Z happens earlier than the end of the time of existence of Y

consequent
-------------------------


(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))		 Merge.kif 11087-11095 If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z
(=>
    (instance ?MO MilitaryOperation)
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (represents ?PLAN ?MO))))		 Military.kif 25-30 If X is an instance of military operation, then there exists Y such that Y is an instance of plan and Y expresses X
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (wants ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))		 UXExperimentalTerms.kif 2597-2606 If X is an instance of business requirement document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of business (4) W is an instance of process (5) Y expresses W (6) Z wants W (7) X contains information Y
(=>
    (instance ?TPS TestProtocolSpecification)
    (exists (?PLAN ?EXPERIMENT ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?EXPERIMENT Experimenting)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (subProcess ?EXPERIMENT ?PROC)
            (containsInformation ?TPS ?PLAN))))		 UXExperimentalTerms.kif 2755-2764 If X is an instance of test protocol specification, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of experimenting (4) W is an instance of process (5) Y expresses W (6) Z is a subprocess of W (7) X contains information Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners