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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CombatantCommander
CombatantCommander(combatant commander)

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


(instance CombatantCommander Position) MilitaryPersons.kif 332-332 Combatant commander is an instance of position
(subAttribute CombatantCommander MilitaryCommander) MilitaryPersons.kif 333-333 Combatant commander is a subattribute of military commander

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


(termFormat ChineseLanguage CombatantCommander "战斗指挥官") domainEnglishFormat.kif 15711-15711
(termFormat ChineseTraditionalLanguage CombatantCommander "戰鬥指揮官") domainEnglishFormat.kif 15710-15710
(termFormat EnglishLanguage CombatantCommander "combatant commander") domainEnglishFormat.kif 15709-15709

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