| ProjectileShell(projectile shell) | | artillery_shell, tank_shell |
| appearance as argument number 1 |
|
|
| (documentation ProjectileShell EnglishLanguage "The outer casing of a Projectile.") | Mid-level-ontology.kif 1115-1115 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1114-1114 | Projectile shell is a subclass of container |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ProjectileShell "弹丸壳") | domainEnglishFormat.kif 47710-47710 | |
| (termFormat ChineseTraditionalLanguage ProjectileShell "彈丸殼") | domainEnglishFormat.kif 47709-47709 | |
| (termFormat EnglishLanguage ProjectileShell "projectile shell") | domainEnglishFormat.kif 47708-47708 |
| consequent |
|
|
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1117-1122 |
|
|
|
|