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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Projectile
Projectile

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


(documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") Mid-level-ontology.kif 1052-1053
(externalImage Projectile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ weapons/ projectile_01.png") pictureList.kif 678-678
(subclass Projectile Weapon) Mid-level-ontology.kif 1051-1051

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 1606-1606
(subclass Bullet Projectile) Mid-level-ontology.kif 1120-1120
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1132-1132
(subclass Grenade Projectile) MilitaryDevices.kif 190-190
(subclass Missile Projectile) Mid-level-ontology.kif 14303-14303
(subclass Rocket Projectile) Mid-level-ontology.kif 18545-18545
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47642-47642
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47641-47641
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47640-47640

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


(=>
    (and
        (instance ?G Gun)
        (instance ?B GunBarrel)
        (part ?B ?G)
        (instance ?S Shooting)
        (instrument ?S ?G)
        (patient ?S ?P)
        (instance ?P Projectile))
    (exists (?SUB)
        (and
            (subProcess ?SUB ?S)
            (path ?SUB ?B))))
Mid-level-ontology.kif 1173-1185
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))
MilitaryDevices.kif 233-245
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (hasPurpose ?GUN
        (exists (?SHOOTING)
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ)
                (instrument ?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
(=>
    (and
        (instance ?SHOT Shooting)
        (instrument ?SHOT ?GUN)
        (patient ?SHOT ?PROJ)
        (width ?PROJ ?LM1)
        (instance ?GUN ?GUNCLASS)
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM))
    (equal ?LM ?LM1))
MilitaryDevices.kif 219-228
(=>
    (instance ?PROJECTILE Projectile)
    (capability Shooting patient ?PROJECTILE))
Mid-level-ontology.kif 1055-1057

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))
Mid-level-ontology.kif 1311-1315
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1076-1083
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1107-1114


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