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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gutrah

Sigma KEE - AntiArmorPlatoon
AntiArmorPlatoon

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


(documentation AntiArmorPlatoon EnglishLanguage "An antiarmor platoon (utilizing either the dragon or javelin weapons system, SMAW bunker busters, and the TOW missileweapons system) is part of a WeaponsCompany. (from Wikipedia)") MilitaryPersons.kif 596-599
(subclass AntiArmorPlatoon Platoon) MilitaryPersons.kif 594-594

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


(subEchelon WeaponsCompany AntiArmorPlatoon) MilitaryPersons.kif 564-564
(termFormat ChineseLanguage AntiArmorPlatoon "反装甲排") domainEnglishFormat.kif 7830-7830
(termFormat ChineseTraditionalLanguage AntiArmorPlatoon "反裝甲排") domainEnglishFormat.kif 7829-7829
(termFormat EnglishLanguage AntiArmorPlatoon "anti armor platoon") domainEnglishFormat.kif 7828-7828
(termFormat EnglishLanguage AntiArmorPlatoon "anti-armor platoon") MilitaryPersons.kif 701-701

antecedent
-------------------------


(=>
    (instance ?MP AntiArmorPlatoon)
    (exists (?MG)
        (and
            (instance ?MG AntiArmorWeapon)
            (possesses ?MP ?MG))))
MilitaryPersons.kif 603-608


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