ProjectileShell
|
|
appearance as argument number 1 |
(documentation ProjectileShell EnglishLanguage "The outer casing of a Projectile.") | Mid-level-ontology.kif 1122-1122 | |
(subclass ProjectileShell Container) | Mid-level-ontology.kif 1121-1121 |
appearance as argument number 2 |
(termFormat ChineseLanguage ProjectileShell "弹丸壳") | domainEnglishFormat.kif 47672-47672 | |
(termFormat ChineseTraditionalLanguage ProjectileShell "彈丸殼") | domainEnglishFormat.kif 47671-47671 | |
(termFormat EnglishLanguage ProjectileShell "projectile shell") | domainEnglishFormat.kif 47670-47670 |
consequent |
(=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1124-1129 |