|
|
   MortarPlatoon
|
|
|
| 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 38589-38589 | |
| (termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") | domainEnglishFormat.kif 38588-38588 | |
| (termFormat EnglishLanguage MortarPlatoon "mortar platoon") | domainEnglishFormat.kif 38587-38587 |
| antecedent |
|
|
| (=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 556-561 |
|
|
|
|