Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Handgun(hand gun) |
| appearance as argument number 1 |
|
| (subclass Handgun Firearm) | Mid-level-ontology.kif 2040-2040 | Hand gun is a subclass of firearm |
| (documentation Handgun EnglishLanguage "A Firearm that is intended to be aimed and fired with a single hand.[Wikipedia]") | Mid-level-ontology.kif 2041-2042 | Hand gun is a subclass of firearm |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Firearm Longgun Handgun) | Mid-level-ontology.kif 1920-1920 | Firearm is exhaustively partitioned into long gun and hand gun |
| antecedent |
|
|
| (=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity)))))) |
Mid-level-ontology.kif 2045-2069 | If X is an instance of hand gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) Z such that Y is an instance of human (3) Z is an instance of shooting (4) X is an instrument for Z (5) Y is an agent of Z (6) V is an instance of grabbing (7) V is a subprocess of Z (8) X is a patient of V (9) Y is an agent of V (10) W is an instrument for V (11) W is an instance of hand (12) W is a part of Y (13) the statement there doesn't exist U such that U is an instance of hand (14) equal W (15) U (16) U is a part of Y (17) U is an instrument for V doesn't have the modal force of necessity |
| (=> (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 |
|