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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - OperationOrder
OperationOrder(operation order)

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 Operation order is a subclass of ordering

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


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

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