Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ArtilleryCannon
ArtilleryCannon(artillery cannon)cannon

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


(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
(subclass ArtilleryCannon ArtilleryGun) MilitaryDevices.kif 171-171 Artillery cannon is a subclass of artillery gun

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


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

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


(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G ArtilleryCannon))
    (attribute ?S LowAngleFire))
MilitaryDevices.kif 189-194
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ
                (UnionFn Missile Grenade)))))
MilitaryDevices.kif 336-345
(=>
    (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

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


(=>
    (instance ?TANK MilitaryTank)
    (exists (?TRACK ?GUN)
        (and
            (instance ?TRACK ContinuousTrack)
            (part ?TRACK ?TANK)
            (instance ?GUN ArtilleryCannon)
            (part ?GUN ?TANK))))
Military.kif 160-167


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 is open source software produced by Articulate Software and its partners