Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProjectileShell(projectile shell) |  | artillery_shell, tank_shell |
| appearance as argument number 1 |
|
|
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1184-1184 | Projectile shell is a subclass of container |
| (documentation ProjectileShell EnglishLanguage "The outer casing of a Projectile.") | Mid-level-ontology.kif 1185-1185 | Projectile shell is a subclass of container |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1187-1192 | If X is an instance of bullet, then there exists Y such that Y is an instance of projectile shell and Y is a part of X |
|