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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OperationPlanning

Sigma KEE - OperationPlanning
OperationPlanning

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 1491-1493
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1489-1489 OperationPlanningMilitaryOperationsubclass
(subclass OperationPlanning Planning) MilitaryProcesses.kif 1490-1490 OperationPlanning规划subclass

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


(subclass JointOperationPlanning OperationPlanning) MilitaryProcesses.kif 1730-1730 JointOperationPlanningOperationPlanningsubclass
(termFormat EnglishLanguage OperationPlanning "operation planning") domainEnglishFormat.kif 7464-7464 termFormat EnglishLanguage, OperationPlanning and "operation planning"

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


(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1495-1501
(=>
    (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 1550-1572
(=>
    (and
        (instance ?STRAT CounterTerrorismStrategy)
        (instance ?PLANNING OperationPlanning)
        (result ?PLANNING ?STRAT))
    (exists (?CT)
        (and
            (patient ?PLANNING ?CT)
            (instance ?CT CounterTerrorism))))
MilitaryProcesses.kif 2051-2059

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


(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))
MilitaryProcesses.kif 1503-1509
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))
MilitaryProcesses.kif 1654-1662


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