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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntiArmorPlatoon
AntiArmorPlatoon(anti armor platoon)

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 Anti armor platoon is a subclass of platoon

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


(subEchelon WeaponsCompany AntiArmorPlatoon) MilitaryPersons.kif 564-564 Anti armor platoon is a sub echelon of weapons company
(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 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