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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperationOrder
OperationOrder

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


(documentation OperationOrder EnglishLanguage "A directive issued by a commander to subordinate commanders for the purpose of effecting the coordinated execution of an operation. Also called OPORD.") MilitaryProcesses.kif 1658-1660
(subclass OperationOrder Ordering) MilitaryProcesses.kif 1657-1657 OperationOrder注文subclass では %n

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


(termFormat ChineseLanguage OperationOrder "操作顺序") domainEnglishFormat.kif 42264-42264
(termFormat ChineseTraditionalLanguage OperationOrder "操作順序") domainEnglishFormat.kif 42263-42263
(termFormat EnglishLanguage OperationOrder "operation order") domainEnglishFormat.kif 42262-42262

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


(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))
MilitaryProcesses.kif 1686-1694
(=>
    (instance ?ORDER OperationOrder)
    (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)
        (and
            (agent ?ORDER ?SUPERIORCOMMANDER)
            (origin ?ORDER ?SUPERIORCOMMANDER)
            (destination ?ORDER ?SUBORDINATECOMMANDER)
            (instance ?SUPERIORCOMMANDER MilitaryCommander)
            (instance ?SUBORDINATECOMMANDER MilitaryCommander)
            (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
            (instance ?MILITARY MilitaryForce))))
MilitaryProcesses.kif 1663-1673


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 is open source software produced by Articulate Software and its partners