| appearance as argument number 1 |
|
| (documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.") | MilitaryPersons.kif 554-554 | |
| (subclass MortarPlatoon Platoon) | MilitaryPersons.kif 552-552 | Mortar platoon is a subclass of platoon |
| appearance as argument number 2 |
|
|
| (subEchelon WeaponsCompany MortarPlatoon) | MilitaryPersons.kif 565-565 | Mortar platoon is a sub echelon of weapons company |
| (termFormat ChineseLanguage MortarPlatoon "迫击炮排") | domainEnglishFormat.kif 38625-38625 | Mortar platoon is a sub echelon of weapons company |
| (termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") | domainEnglishFormat.kif 38624-38624 | Mortar platoon is a sub echelon of weapons company |
| (termFormat EnglishLanguage MortarPlatoon "mortar platoon") | domainEnglishFormat.kif 38623-38623 | Mortar platoon is a sub echelon of weapons company |
| 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