Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OperationPlanning

Sigma KEE - OperationPlanning
OperationPlanning(operation planning)

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


(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 1504-1506
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1502-1502 Operation planning is a subclass of military operation
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1503-1503 Operation planning is a subclass of planning

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


(subclass JointOperationPlanning OperationPlanning) MilitaryProcesses.kif 1743-1743 Joint operation planning is a subclass of operation planning
(termFormat ChineseLanguage OperationPlanning "运营计划") domainEnglishFormat.kif 42163-42163
(termFormat ChineseTraditionalLanguage OperationPlanning "運營計劃") domainEnglishFormat.kif 42162-42162
(termFormat EnglishLanguage OperationPlanning "operation planning") domainEnglishFormat.kif 42161-42161

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


(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1508-1514
(=>
    (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 1563-1585
(=>
    (and
        (instance ?STRAT CounterTerrorismStrategy)
        (instance ?PLANNING OperationPlanning)
        (result ?PLANNING ?STRAT))
    (exists (?CT)
        (and
            (patient ?PLANNING ?CT)
            (instance ?CT CounterTerrorism))))
MilitaryProcesses.kif 2064-2072

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


(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))
MilitaryProcesses.kif 1516-1522
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))
MilitaryProcesses.kif 1667-1675


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners