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 7838-7838 Anti armor platoon is a sub echelon of weapons company
(termFormat ChineseTraditionalLanguage AntiArmorPlatoon "反裝甲排") domainEnglishFormat.kif 7837-7837 Anti armor platoon is a sub echelon of weapons company
(termFormat EnglishLanguage AntiArmorPlatoon "anti armor platoon") domainEnglishFormat.kif 7836-7836 Anti armor platoon is a sub echelon of weapons company
(termFormat EnglishLanguage AntiArmorPlatoon "anti-armor platoon") MilitaryPersons.kif 701-701 Anti armor platoon is a sub echelon of weapons company

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