Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LandlockedArea
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Grabbing Touching) | Merge.kif 11779-11779 | Grabbing is a subclass of touching |
| (subclass Grabbing Attaching) | Merge.kif 11780-11780 | Grabbing is a subclass of attaching |
| (documentation Grabbing EnglishLanguage "Any instance of Touching which results in a situation where the agent grasps the patient of the Touching.") | Merge.kif 11782-11783 | Grabbing is a subclass of attaching |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GRAB Grabbing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?GRAB)) (not (grasps ?AGENT ?THING))) (holdsDuring (EndFn (WhenFn ?GRAB)) (grasps ?AGENT ?THING)))) |
Merge.kif 11785-11792 | If X is an instance of grabbing, Y is an agent of X, and Z is a patient of X, then Y doesn't grasp Z holds during the beginning of the time of existence of X and Y grasps Z holds during the end of the time of existence of X |
| 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 ?H Handle) (hasPurpose ?H (exists (?G ?D) (and (instance ?G Grabbing) (patient ?G ?H) (instrument ?G ?D) (instance ?D Hand))))) |
Mid-level-ontology.kif 1724-1733 | If X is an instance of handle, then X has the purpose there exist Y, Z such that Y is an instance of grabbing, X is a patient of Y, Z is an instrument for Y, and Z is an instance of hand |
| (=> (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 |
| (=> (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 |
| (=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X)))))) |
Mid-level-ontology.kif 29080-29091 | If X is an instance of grab bar, then there exists Y such that Y is an instance of wall and X is connected to Y and X has the purpose there exists Z such that Z is an instance of grabbing and X is an instrument for Z |
| (=> (instance ?X RoboticGripper) (hasPurpose ?X (exists (?G ?O) (and (instance ?G Grabbing) (instance ?O Object) (patient ?G ?O) (instrument ?G ?X))))) |
engineering.kif 1111-1119 | If X is an instance of robotic gripper, then X has the purpose there exist Y, Z such that Y is an instance of grabbing, Z is an instance of object, Z is a patient of Y, and X is an instrument for Y |
|