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


KB Term:  Term intersection
English Word: 

  Prescription

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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