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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Projectile
Projectile(projectile)
missile, pellet, projectile, seeker, shot, spitball, 抛射物, 拋射物

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


(documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.") Mid-level-ontology.kif 1493-1494
(externalImage Projectile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ weapons/ projectile_01.png") pictureList.kif 678-678 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ weapons/ projectile_01.png" is a URL depicting projectile
(subclass Projectile Weapon) Mid-level-ontology.kif 1492-1492 Projectile is a subclass of weapon

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 2073-2073 Arrow projectile is a subclass of projectile
(subclass Bullet Projectile) Mid-level-ontology.kif 1566-1566 Bullet is a subclass of projectile
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1578-1578 Bullet cartridge is a subclass of projectile
(subclass Grenade Projectile) MilitaryDevices.kif 190-190 Grenade is a subclass of projectile
(subclass Missile Projectile) Mid-level-ontology.kif 15314-15314 Missile is a subclass of projectile
(subclass Rocket Projectile) Mid-level-ontology.kif 19859-19859 Rocket is a subclass of projectile
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47599-47599 "抛射物" is the printable form of projectile in ChineseLanguage
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47598-47598 "拋射物" is the printable form of projectile in ChineseTraditionalLanguage
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47597-47597 "projectile" is the printable form of projectile in english language

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 1619-1631
(=>
    (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 1496-1498
(=>
    (instance ?PROJECTILE Projectile)
    (exists (?SHELL)
        (and
            (instance ?SHELL ProjectileShell)
            (part ?SHELL ?PROJECTILE))))
Mid-level-ontology.kif 1508-1513

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))
Mid-level-ontology.kif 1751-1755
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1522-1529
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1553-1560


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners