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 1107-1108
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") pictureList.kif 678-678
(subclass Projectile Weapon) Mid-level-ontology.kif 1106-1106 Projectile is a subclass of weapon

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 1735-1735 Arrow projectile is a subclass of projectile
(subclass Bullet Projectile) Mid-level-ontology.kif 1175-1175 Bullet is a subclass of projectile
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1187-1187 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 18812-18812 Missile is a subclass of projectile
(subclass Rocket Projectile) Mid-level-ontology.kif 23188-23188 Rocket is a subclass of projectile
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47691-47691 Rocket is a subclass of projectile
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47690-47690 Rocket is a subclass of projectile
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47689-47689 Rocket is a subclass of projectile

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 1228-1240
(=>
    (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 1110-1112

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))
Mid-level-ontology.kif 1365-1369
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1131-1138
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1162-1169
(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))
MilitaryProcesses.kif 2789-2797


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