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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CombatantCommander

Sigma KEE - CombatantCommander
CombatantCommander

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


(instance CombatantCommander Position) MilitaryPersons.kif 332-332 CombatantCommanderポジションinstance では %n
(subAttribute CombatantCommander MilitaryCommander) MilitaryPersons.kif 333-333 CombatantCommanderMilitaryCommandersubattribute では %n

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