| appearance as argument number 1 |
|
| (documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.") | MilitaryPersons.kif 554-554 | |
| (subclass MortarPlatoon Platoon) | MilitaryPersons.kif 552-552 | MortarPlatoon e' uma sub-classe de Platoon |
| appearance as argument number 2 |
|
|
| (subEchelon WeaponsCompany MortarPlatoon) | MilitaryPersons.kif 565-565 | subEchelon WeaponsCompany and MortarPlatoon |
| (termFormat ChineseLanguage MortarPlatoon "迫击炮排") | domainEnglishFormat.kif 38591-38591 | |
| (termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") | domainEnglishFormat.kif 38590-38590 | |
| (termFormat EnglishLanguage MortarPlatoon "mortar platoon") | domainEnglishFormat.kif 38589-38589 |
| antecedent |
|
|
| (=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 556-561 |
|
|
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