Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Shotgun(shot gun) |
| appearance as argument number 1 |
|
| (subclass Shotgun Longgun) | Mid-level-ontology.kif 1994-1994 | Shot gun is a subclass of long gun |
| (documentation Shotgun EnglishLanguage "A Shotgun (also known as a scattergun, peppergun, or historically as a fowling piece) is a long-barreled firearm designed to shoot a straight-walled cartridge known as a shotshell, which discharges numerous small spherical projectiles called shot, or a single solid projectile called a slug. Shotguns typically use a smoothbore barrel with a tapered constriction at the muzzle to regulate the extent of scattering.[Wikipedia]") | Mid-level-ontology.kif 1995-1999 | Shot gun is a subclass of long gun |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Shotgun "shot gun") | Mid-level-ontology.kif 2000-2000 |
| antecedent |
|
|
| (=> (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 2002-2010 | If X is an instance of shot gun, then X has the purpose there exist Y, Z such that Y is an instance of shooting, X is an instrument for Y, Z is a patient of Y, and Z is an instance of shot shell |
| (=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth)))) |
Mid-level-ontology.kif 2012-2020 | If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z |
| consequent |
|
|
| (=> (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 1129-1137 | If X is an instance of shot shell, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of shot gun, and X is a patient of Y |
|