| 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 42266-42266 | |
| (termFormat ChineseTraditionalLanguage OperationOrder "操作順序") | domainEnglishFormat.kif 42265-42265 | |
| (termFormat EnglishLanguage OperationOrder "operation order") | domainEnglishFormat.kif 42264-42264 |
| 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