BulletCartridge | ![]() |
appearance as argument number 1 |
![]() |
(documentation BulletCartridge EnglishLanguage "The entire projectile consisting of a bullet, casing, gunpowder, and primer.") | Mid-level-ontology.kif 1261-1262 | |
(subclass BulletCartridge Projectile) | Mid-level-ontology.kif 1260-1260 | BulletCartridge est une sous-classe de Projectile |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage BulletCartridge "bullet cartridge") | Mid-level-ontology.kif 1263-1263 |
antecedent |
![]() |
(=> (instance ?CARTRIDGE BulletCartridge) (hasPurpose ?CARTRIDGE (exists (?BULLET ?CASE) (and (instance ?BULLET Bullet) (instance ?CASE CartridgeCase) (properPart ?BULLET ?CARTRIDGE) (properPart ?CASE ?CARTRIDGE))))) |
Mid-level-ontology.kif 1265-1273 |
consequent |
![]() |
![]() |
![]() |