Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Longgun(long gun) |
| appearance as argument number 1 |
|
| (subclass Longgun Firearm) | Mid-level-ontology.kif 1960-1960 | Long gun is a subclass of firearm |
| (documentation Longgun EnglishLanguage "A Longgun is a category of firearms with long barrels. is generally designed to be held by both hands and braced against the shoulder, in contrast to a handgun, which can be fired being held with a single hand. [Wikipedia]") | Mid-level-ontology.kif 1961-1963 | Long gun is a subclass of firearm |
| appearance as argument number 2 |
|
|
| (partTypes Gunstock Longgun) | Mid-level-ontology.kif 1445-1445 | Every gun stock is a part of a long gun |
| (partition Firearm Longgun Handgun) | Mid-level-ontology.kif 1920-1920 | Firearm is exhaustively partitioned into long gun and hand gun |
| (termFormat EnglishLanguage Longgun "long gun") | Mid-level-ontology.kif 1964-1964 | Firearm is exhaustively partitioned into long gun and hand gun |
| (subclass Shotgun Longgun) | Mid-level-ontology.kif 1994-1994 | Shot gun is a subclass of long gun |
| (subclass Rifle Longgun) | Mid-level-ontology.kif 2022-2022 | Rifle is a subclass of long gun |
| antecedent |
|
|
| (=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity)))))))) |
Mid-level-ontology.kif 1966-1992 | If X is an instance of long gun, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of shooting (3) X is an instrument for Y (4) Z is an agent of Y (5) Z is an instance of human (6) there exists W such that W is an instance of grabbing (7) Z is an agent of W (8) X is a patient of W (9) the statement there exist V (10) U such that V is an instance of hand (11) V is a part of Z (12) U is an instance of hand (13) U is a part of Z (14) equal V (15) U (16) V is an instrument for W (17) U is an instrument for W has the modal force of necessity holds during the time of existence of Y |
| (=> (and (instance ?H Handgun) (instance ?B1 GunBarrel) (part ?B1 ?H) (length ?B1 (MeasureFn ?S Inch)) (instance ?L Longgun) (instance ?B2 GunBarrel) (part ?B2 ?L) (length ?B2 (MeasureFn ?T Inch))) (lessThan ?S ?T)) |
Mid-level-ontology.kif 2071-2081 | If All of the following hold: (1) X is an instance of hand gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) the length of Y is Z inch(s) (5) W is an instance of long gun (6) V is an instance of gun barrel (7) V is a part of W (8) the length of V is U inch(s), then Z is less than U |
| consequent |
|
|
| (=> (instance ?S Gunstock) (hasPurpose ?S (exists (?G ?GRAB) (and (instance ?G Longgun) (part ?S ?G) (instance ?GRAB Grabbing) (patient ?GRAB ?S) (destination ?GRAB ?G))))) |
Mid-level-ontology.kif 1448-1457 | If X is an instance of gun stock, then X has the purpose there exist Y, Z such that Y is an instance of long gun, X is a part of Y, Z is an instance of grabbing, X is a patient of Z, and Z ends up at Y |
| (=> (instance ?B Buttstock) (hasPurpose ?B (exists (?L ?S ?A ?SH) (and (instance ?L Longgun) (part ?B ?L) (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (part ?SH ?A) (instance ?SH Shoulder) (holdsDuring (WhenFn ?S) (meetsSpatially ?S ?B)))))) |
Mid-level-ontology.kif 1475-1490 | If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z |
|