| ProjectileShell(弹丸壳) | |
| 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 | 弹丸壳 是 容器 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ProjectileShell "弹丸壳") | domainEnglishFormat.kif 47674-47674 | |
| (termFormat ChineseTraditionalLanguage ProjectileShell "彈丸殼") | domainEnglishFormat.kif 47673-47673 | |
| (termFormat EnglishLanguage ProjectileShell "projectile shell") | domainEnglishFormat.kif 47672-47672 |
| consequent |
|
|
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1117-1122 |
|
|
|