Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MortarGun
MortarGun(mortar gun)howitzer, mortar, trench_mortar

appearance as argument number 1
-------------------------


(subclass MortarGun ArtilleryGun) Mid-level-ontology.kif 1279-1279 Mortar gun is a subclass of artillery gun
(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 1280-1281 Mortar gun is a subclass of artillery gun
(defaultMinimumLength MortarGun
    (MeasureFn 4 FootLength))		 DimensioningAmenities.kif 1002-1002 The minimum expected length of mortar gun is 4 foot length(s)
(defaultMaximumLength MortarGun
    (MeasureFn 7 FootLength))		 DimensioningAmenities.kif 1003-1003 The maximum expected length of mortar gun is 7 foot length(s)
(defaultMinimumHeight MortarGun
    (MeasureFn 40 Millimeter))		 DimensioningAmenities.kif 1004-1004 The minimum expected height of mortar gun is 40 millimeter(s)
(defaultMaximumHeight MortarGun
    (MeasureFn 300 Millimeter))		 DimensioningAmenities.kif 1005-1005 The maximum expected height of mortar gun is 300 millimeter(s)
(defaultMinimumWidth MortarGun
    (MeasureFn 40 Millimeter))		 DimensioningAmenities.kif 1006-1006 The minimum expected width of mortar gun is 40 millimeter(s)
(defaultMaximumWidth MortarGun
    (MeasureFn 300 Millimeter))		 DimensioningAmenities.kif 1007-1007 The maximum expected width of mortar gun is 300 millimeter(s)
(defaultMinimumMeasure MortarGun
    (MeasureFn 40 PoundMass))		 DimensioningAmenities.kif 1008-1008 The minimum expected value of mortar gun is 40 pound mass(s)
(defaultMaximumMeasure MortarGun
    (MeasureFn 2000 PoundMass))		 DimensioningAmenities.kif 1009-1009 The maximum expected value of mortar gun is 2000 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MortarGun "mortar gun") domainEnglishFormat.kif 38585-38585
(termFormat ChineseTraditionalLanguage MortarGun "迫擊砲") domainEnglishFormat.kif 38586-38586
(termFormat ChineseLanguage MortarGun "迫击炮") domainEnglishFormat.kif 38587-38587

antecedent
-------------------------


(=>
    (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 If X is an instance of mortar gun, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 45 and Z is less than or equal to 90
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G MortarGun))
    (attribute ?S HighAngleFire))		 MilitaryDevices.kif 242-247 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of mortar gun, then high angle fire is an attribute of X
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?MG)
        (instance ?MG MortarGun))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))		 MilitaryDevices.kif 355-363 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of mortar gun, then there exists Z such that Z is an instrument for X and Z is an instance of grenade

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 951-960 If X is an instance of infantry unit, then there exists Y such that Y is an instance of automatic gun, Y is an instance of firearm, Y is an instance of mortar gun, or Y is an instance of land mine and X possesses Y
(=>
    (instance ?MP MortarPlatoon)
    (exists (?MG)
        (and
            (instance ?MG MortarGun)
            (possesses ?MP ?MG))))		 MilitaryPersons.kif 573-578 If X is an instance of mortar platoon, then there exists Y such that Y is an instance of mortar gun and X possesses Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners