| 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 | AntiArmorPlatoon e' uma sub-classe de Platoon |
| appearance as argument number 2 |
|
|
| (subEchelon WeaponsCompany AntiArmorPlatoon) | MilitaryPersons.kif 564-564 | subEchelon WeaponsCompany and AntiArmorPlatoon |
| (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