MortarGun(mortar gun) | ![]() | howitzer, mortar, trench_mortar |
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 1245-1246 | |
(subclass MortarGun ArtilleryGun) | Mid-level-ontology.kif 1244-1244 | Mortar gun is a subclass of artillery gun |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MortarGun "迫击炮") | domainEnglishFormat.kif 38594-38594 | |
(termFormat ChineseTraditionalLanguage MortarGun "迫擊砲") | domainEnglishFormat.kif 38593-38593 | |
(termFormat EnglishLanguage MortarGun "mortar gun") | domainEnglishFormat.kif 38592-38592 |
antecedent |
![]() |
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G MortarGun)) (attribute ?S HighAngleFire)) |
MilitaryDevices.kif 242-247 |
|
(=> (instance ?G MortarGun) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 45) (lessThanOrEqualTo ?X 90))))) |
MilitaryDevices.kif 230-240 |
|
consequent |
![]() |
(=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC LandMine)) (possesses ?AB ?AC)))) |
Military.kif 753-762 |
|
(=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 570-575 |
|
![]() |
![]() |