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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Projectile

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 1086-1087
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png") pictureList.kif 678-678
(subclass Projectile Weapon) Mid-level-ontology.kif 1085-1085 Projectile武器subclass では %n

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


(subclass ArrowProjectile Projectile) Mid-level-ontology.kif 1641-1641 ArrowProjectileProjectilesubclass では %n
(subclass Bullet Projectile) Mid-level-ontology.kif 1154-1154 BulletProjectilesubclass では %n
(subclass BulletCartridge Projectile) Mid-level-ontology.kif 1166-1166 BulletCartridgeProjectilesubclass では %n
(subclass Grenade Projectile) MilitaryDevices.kif 190-190 GrenadeProjectilesubclass では %n
(subclass Missile Projectile) Mid-level-ontology.kif 17672-17672 MissileProjectilesubclass では %n
(subclass Rocket Projectile) Mid-level-ontology.kif 22023-22023 RocketProjectilesubclass では %n
(termFormat ChineseLanguage Projectile "抛射物") domainEnglishFormat.kif 47672-47672
(termFormat ChineseTraditionalLanguage Projectile "拋射物") domainEnglishFormat.kif 47671-47671
(termFormat EnglishLanguage Projectile "projectile") domainEnglishFormat.kif 47670-47670

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 1207-1219
(=>
    (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 1089-1091

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


(=>
    (and
        (instance ?L LoadingWeapon)
        (patient ?L ?P))
    (instance ?P Projectile))
Mid-level-ontology.kif 1344-1348
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1110-1117
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1141-1148


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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