| appearance as argument number 1 |
|
| (instance CombatantCommander Position) | MilitaryPersons.kif 332-332 | |
| (subAttribute CombatantCommander MilitaryCommander) | MilitaryPersons.kif 333-333 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CombatantCommander "战斗指挥官") | domainEnglishFormat.kif 15720-15720 | |
| (termFormat ChineseTraditionalLanguage CombatantCommander "戰鬥指揮官") | domainEnglishFormat.kif 15719-15719 | |
| (termFormat EnglishLanguage CombatantCommander "combatant commander") | domainEnglishFormat.kif 15718-15718 |
| consequent |
|
|
| (=> (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 1582-1604 |
|
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