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

KB Term:  Term intersection
English Word: 

Sigma KEE - ArtilleryCannon
ArtilleryCannon(artillery cannon)cannon

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


(subclass ArtilleryCannon ArtilleryGun) MilitaryDevices.kif 171-171 Artillery cannon is a subclass of artillery gun
(disjoint ArtilleryCannon MilitaryTank) MilitaryDevices.kif 172-172 Artillery cannon is disjoint from military tank
(documentation ArtilleryCannon EnglishLanguage "A long-range ArtilleryGun that is capable of launching rockets or grenades or other explosives.") MilitaryDevices.kif 174-175 Artillery cannon is disjoint from military tank

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


(termFormat EnglishLanguage ArtilleryCannon "artillery cannon") domainEnglishFormat.kif 8536-8536
(termFormat ChineseTraditionalLanguage ArtilleryCannon "火砲") domainEnglishFormat.kif 8537-8537
(termFormat ChineseLanguage ArtilleryCannon "火炮") domainEnglishFormat.kif 8538-8538

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


(=>
    (instance ?G ArtilleryCannon)
    (hasPurpose ?G
        (exists (?S ?X)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (angleOfFire ?S
                    (MeasureFn ?X AngularDegree))
                (greaterThanOrEqualTo ?X 0)
                (lessThanOrEqualTo ?X 45)))))		 MilitaryDevices.kif 177-187 If X is an instance of artillery cannon, 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 0 and Z is less than or equal to 45
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G ArtilleryCannon))
    (attribute ?S LowAngleFire))		 MilitaryDevices.kif 189-194 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then low angle fire is an attribute of X
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (or
                (instance ?PROJ Missile)
                (instance ?PROJ Grenade)))))		 MilitaryDevices.kif 336-346 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of artillery cannon, then there exists Z such that Z is an instrument for X and Z is an instance of missile or Z is an instance of grenade

consequent
-------------------------


(=>
    (instance ?TANK MilitaryTank)
    (exists (?TRACK ?GUN)
        (and
            (instance ?TRACK ContinuousTrack)
            (part ?TRACK ?TANK)
            (instance ?GUN ArtilleryCannon)
            (part ?GUN ?TANK))))		 Military.kif 162-169 If X is an instance of military tank, then there exist Y, Z such that Y is an instance of Continuous track, Y is a part of X, Z is an instance of artillery cannon, and Z is a part of X


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners