| MortarGun | |
| appearance as argument number 1 |
|
|
| (documentation MortarGun EnglishLanguage "A short-range Gun that is positioned on the ground at a high angle and fires explosive shells.") | Mid-level-ontology.kif 1179-1180 | |
| (subclass MortarGun ArtilleryGun) | Mid-level-ontology.kif 1178-1178 | MortarGun est une sous-classe de ArtilleryGun |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MortarGun "迫击炮") | domainEnglishFormat.kif 38583-38583 | |
| (termFormat ChineseTraditionalLanguage MortarGun "迫擊砲") | domainEnglishFormat.kif 38582-38582 | |
| (termFormat EnglishLanguage MortarGun "mortar gun") | domainEnglishFormat.kif 38581-38581 |
| antecedent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?MG) (instance ?MG MortarGun)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ Grenade)))) |
MilitaryDevices.kif 198-206 |
| consequent |
|
|
| (=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC ExplosiveMine)) (possesses ?AB ?AC)))) |
Military.kif 676-685 |
|
| (=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 556-561 |
|
|
|
|