| 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 610-613 | |
| (subclass AntiArmorPlatoon Platoon) | MilitaryPersons.kif 608-608 | Anti armor platoon is a subclass of platoon |
| appearance as argument number 2 |
|
|
| (subEchelon WeaponsCompany AntiArmorPlatoon) | MilitaryPersons.kif 578-578 | Anti armor platoon is a sub echelon of weapons company |
| (termFormat ChineseLanguage AntiArmorPlatoon "反装甲排") | domainEnglishFormat.kif 7830-7830 | Anti armor platoon is a sub echelon of weapons company |
| (termFormat ChineseTraditionalLanguage AntiArmorPlatoon "反裝甲排") | domainEnglishFormat.kif 7829-7829 | Anti armor platoon is a sub echelon of weapons company |
| (termFormat EnglishLanguage AntiArmorPlatoon "anti armor platoon") | domainEnglishFormat.kif 7828-7828 | Anti armor platoon is a sub echelon of weapons company |
| (termFormat EnglishLanguage AntiArmorPlatoon "anti-armor platoon") | MilitaryPersons.kif 714-714 | 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 617-622 |
|
|
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