| appearance as argument number 1 |
|
| (documentation grasps ChineseLanguage "这是抓住一件 Object 的状态。(grasps ?ANIMAL ?OBJ) 的意思是 Animal ?ANIMAL 有意握住 Object ?OBJ。") | chinese_format.kif 3050-3051 | |
| (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 11545-11547 | |
| (documentation grasps JapaneseLanguage "Object をつかむ状態。(grasps ?ANIMAL ?OBJ) は、 Animal ?ANIMAL が意図的に Object ?OBJ に保持していることを意味する。") | japanese_format.kif 1818-1819 | |
| (domain grasps 1 Animal) | Merge.kif 11542-11542 | The number 1 argument of grasps is an instance of animal |
| (domain grasps 2 Object) | Merge.kif 11543-11543 | 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 |
| (instance grasps BinaryPredicate) | Merge.kif 11541-11541 | grasps is an instance of binary predicate |
| (subrelation grasps meetsSpatially) | Merge.kif 11540-11540 | grasps is a subrelation of meets spatially |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage grasps "%1 %n{doesn't} grasps %2") | chinese_format.kif 798-798 | |
| (format EnglishLanguage grasps "%1 %n{doesn't} grasp%p{s} %2") | english_format.kif 805-805 | |
| (format FrenchLanguage grasps "%1 %n{ne} se saisit %n{pas} de %2") | french_format.kif 480-480 | |
| (format JapaneseLanguage grasps "%1 は %2 を grasp%p{s} %n{ない}") | english_format.kif 806-806 | |
| (format PortugueseLanguage grasps "%1 %n{nao} segura %n de %2") | portuguese_format.kif 432-432 | |
| (format ro grasps "%1 %n{nu} grasp%t{þine} %2") | relations-ro.kif 502-502 | |
| (termFormat ChineseLanguage grasps "抓住") | chinese_format.kif 799-799 | |
| (termFormat ChineseLanguage grasps "掌握") | domainEnglishFormat.kif 26506-26506 | |
| (termFormat ChineseTraditionalLanguage grasps "掌握") | domainEnglishFormat.kif 26505-26505 | |
| (termFormat EnglishLanguage grasps "grasps") | domainEnglishFormat.kif 26504-26504 |
| consequent |
|
|
| (=> (and (instance ?CATCH Catching) (agent ?CATCH ?AGENT) (patient ?CATCH ?BALL)) (holdsDuring (EndFn (WhenFn ?CATCH)) (grasps ?AGENT ?BALL))) |
Mid-level-ontology.kif 17330-17335 |
|
| (=> (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 11555-11562 |
|
| (=> (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 11570-11577 |
|
| (=> (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 12493-12500 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners