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

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


(termFormat ChineseLanguage OperationOrder "操作顺序") domainEnglishFormat.kif 42241-42241
(termFormat ChineseTraditionalLanguage OperationOrder "操作順序") domainEnglishFormat.kif 42240-42240
(termFormat EnglishLanguage OperationOrder "operation order") domainEnglishFormat.kif 42239-42239

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)
        (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