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

KB Term:  Term intersection
English Word: 

Sigma KEE - OperationPlanning
OperationPlanning(operation planning)

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


(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1543-1543 Operation planning is a subclass of military operation
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1544-1544 Operation planning is a subclass of planning
(documentation OperationPlanning EnglishLanguage "The Process of planning a military operation. This involves military personell. The result of the planning process is a an OperationPlan") MilitaryProcesses.kif 1545-1547 Operation planning is a subclass of planning

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


(subclass JointOperationPlanning OperationPlanning) MilitaryProcesses.kif 1784-1784 Joint operation planning is a subclass of operation planning
(termFormat EnglishLanguage OperationPlanning "operation planning") domainEnglishFormat.kif 42275-42275 Joint operation planning is a subclass of operation planning
(termFormat ChineseTraditionalLanguage OperationPlanning "運營計劃") domainEnglishFormat.kif 42276-42276 Joint operation planning is a subclass of operation planning
(termFormat ChineseLanguage OperationPlanning "运营计划") domainEnglishFormat.kif 42277-42277 Joint operation planning is a subclass of operation planning

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


(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))		 MilitaryProcesses.kif 1549-1555 If X is an instance of operation planning, Y is a result of X, Y is an instance of content bearing object, and Y contains information Z, then Z is an instance of operation plan
(=>
    (and
        (instance ?PLANNING OperationPlanning)
        (agent ?PLANNING ?COMMANDER))
    (or
        (and
            (instance ?COMMANDER CombatantCommander)
            (exists (?REQUEST ?CHAIRMAN)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?CHAIRMAN)
                    (attribute ?CHAIRMAN ChairmanJCS)
                    (causes ?REQUEST ?PLANNING))))
        (and
            (instance ?COMMANDER SubunifiedCommander)
            (exists (?REQUEST ?COMMANDERSUPER ?MILITARY)
                (and
                    (instance ?REQUEST Requesting)
                    (agent ?REQUEST ?COMMANDERSUPER)
                    (attribute ?COMMANDERSUPER MilitaryCommander)
                    (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER)
                    (instance ?MILITARY MilitaryForce)
                    (causes ?REQUEST ?PLANNING))))))		 MilitaryProcesses.kif 1604-1626 If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X
(=>
    (and
        (instance ?STRAT CounterTerrorismStrategy)
        (instance ?PLANNING OperationPlanning)
        (result ?PLANNING ?STRAT))
    (exists (?CT)
        (and
            (patient ?PLANNING ?CT)
            (instance ?CT CounterTerrorism))))		 MilitaryProcesses.kif 2105-2113 If X is an instance of counter terrorism strategy, Y is an instance of operation planning, and X is a result of Y, then there exists Z such that Z is a patient of Y and Z is an instance of counter terrorism

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


(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))		 MilitaryProcesses.kif 1557-1563 If X is an instance of operation plan, Y contains information X, Y is an instance of content bearing object, and Y is a result of Z, then Z is an instance of operation planning
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))		 MilitaryProcesses.kif 1708-1716 If X is an instance of operation order, then there exist Y, Z such that Y is an instance of OPLAN, Z is an instance of operation planning, Y is a result of Z, Z causes X, and Y includes a reference to X


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