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 1114-1115
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") pictureList.kif 678-678
(subclass Projectile Weapon) Mid-level-ontology.kif 1113-1113 Projectile est une sous-classe de arme

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 1669-1669 ArrowProjectile est une sous-classe de Projectile
(subclass Bullet Projectile) Mid-level-ontology.kif 1182-1182 Bullet est une sous-classe de Projectile
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1194-1194 BulletCartridge est une sous-classe de Projectile
(subclass Grenade Projectile) MilitaryDevices.kif 190-190 Grenade est une sous-classe de Projectile
(subclass Missile Projectile) Mid-level-ontology.kif 17723-17723 Missile est une sous-classe de Projectile
(subclass Rocket Projectile) Mid-level-ontology.kif 22074-22074 Rocket est une sous-classe de Projectile
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47660-47660
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47659-47659
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47658-47658

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 1235-1247
(=>
    (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 1117-1119

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))
Mid-level-ontology.kif 1372-1376
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1138-1145
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1169-1176


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