| appearance as argument number 1 |
|
| (documentation ShotShell EnglishLanguage "ShotShell or a Shotgun cartridge is a type of rimmed, cylindrical (straight-walled) ammunition used specifically in shotguns. It is typically loaded with numerous small, spherical sub-projectiles called shot. Some cartridges contain a single solid projectile known as a slug.[Wikipedia]") | Mid-level-ontology.kif 1115-1118 | |
| (subclass ShotShell Projectile) | Mid-level-ontology.kif 1114-1114 | ShotShell est une sous-classe de Projectile |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ShotShell "shot shell") | Mid-level-ontology.kif 1119-1119 |
| antecedent |
|
|
| (=> (and (instance ?SS ShotShell) (instance ?SL ShotgunSlug) (contains ?SS ?SL)) (not (exists (?S2) (and (or (instance ?S2 ShotgunSlug) (instance ?S2 FirearmShot)) (not (equal ?SL ?S2)) (contains ?SS ?S2))))) |
Mid-level-ontology.kif 1172-1185 |
|
| (=> (instance ?S ShotShell) (hasPurpose ?S (exists (?X) (and (contains ?S ?X) (properPart ?X ?S) (or (instance ?X FirearmShot) (instance ?X ShotgunSlug)))))) |
Mid-level-ontology.kif 1121-1130 | |
| (=> (instance ?SHELL ShotShell) (hasPurpose ?SHELL (exists (?S ?G) (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Shotgun) (patient ?S ?SHELL))))) |
Mid-level-ontology.kif 1132-1140 |
| consequent |
|
|
| (=> (instance ?G Shotgun) (hasPurpose ?G (exists (?S ?SHELL) (and (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?SHELL) (instance ?SHELL ShotShell))))) |
Mid-level-ontology.kif 1933-1941 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners