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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CombatantCommander

Sigma KEE - CombatantCommander
CombatantCommander(combatant commander)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 EnglishLanguage CombatantCommander "combatant commander") domainEnglishFormat.kif 3041-3041 "combatant commander" is the printable form of combatant commander in english language

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 1550-1572


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners