Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| grasps |
| appearance as argument number 1 |
|
| (subrelation grasps meetsSpatially) | Merge.kif 11770-11770 | grasps is a subrelation of meets spatially |
| (instance grasps BinaryPredicate) | Merge.kif 11771-11771 | grasps is an instance of binary predicate |
| (domain grasps 1 Animal) | Merge.kif 11772-11772 | The number 1 argument of grasps is an instance of animal |
| (domain grasps 2 Object) | Merge.kif 11773-11773 | The number 2 argument of grasps is an instance of object |
| (documentation grasps EnglishLanguage "The state of grasping an Object. (grasps ?ANIMAL ?OBJ) means that the Animal ?ANIMAL is intentionally holding on to the Object ?OBJ.") | Merge.kif 11775-11777 | The number 2 argument of grasps is an instance of object |
| (externalImage grasps "http://upload.wikimedia.org/wikipedia/en/thumb/c/ ce/ Clinching.jpg/ 270px_Clinching.jpg") | pictureList.kif 1125-1125 | The number 2 argument of grasps is an instance of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage grasps "grasps") | domainEnglishFormat.kif 26474-26474 | |
| (termFormat ChineseTraditionalLanguage grasps "掌握") | domainEnglishFormat.kif 26475-26475 | |
| (termFormat ChineseLanguage grasps "掌握") | domainEnglishFormat.kif 26476-26476 | |
| (format EnglishLanguage grasps "%1 %n{doesn't} grasp%p{s} %2") | english_format.kif 805-805 | |
| (format JapaneseLanguage grasps "%1 は %2 を grasp%p{s} %n{ない}") | english_format.kif 806-806 |
| consequent |
|
|
| (=> (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 |
| (=> (and (instance ?RELEASE Releasing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 11800-11807 | If X is an instance of releasing, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X |
| (=> (and (instance ?RELEASE Ungrasping) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 12737-12744 | If X is an instance of ungrasping, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X |
| (=> (and (instance ?CATCH Catching) (agent ?CATCH ?AGENT) (patient ?CATCH ?BALL)) (holdsDuring (EndFn (WhenFn ?CATCH)) (grasps ?AGENT ?BALL))) |
Mid-level-ontology.kif 18730-18735 | If X is an instance of catching, Y is an agent of X, and Z is a patient of X, then Y grasps Z holds during the end of the time of existence of X |
|