Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - grasps
grasps

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 11499-11501
(documentation grasps JapaneseLanguage "Object をつかむ状態。(grasps ?ANIMAL ?OBJ) は、 Animal ?ANIMAL が意図的に Object ?OBJ に保持していることを意味する。") japanese_format.kif 1818-1819
(domain grasps 1 Animal) Merge.kif 11496-11496
(domain grasps 2 Object) Merge.kif 11497-11497
(externalImage grasps "http://upload.wikimedia.org/wikipedia/en/thumb/c/ ce/ Clinching.jpg/ 270px-Clinching.jpg") pictureList.kif 1125-1125
(instance grasps BinaryPredicate) Merge.kif 11495-11495
(subrelation grasps meetsSpatially) Merge.kif 11494-11494

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 26472-26472
(termFormat ChineseTraditionalLanguage grasps "掌握") domainEnglishFormat.kif 26471-26471
(termFormat EnglishLanguage grasps "grasps") domainEnglishFormat.kif 26470-26470

consequent
-------------------------


(=>
    (and
        (instance ?CATCH Catching)
        (agent ?CATCH ?AGENT)
        (patient ?CATCH ?BALL))
    (holdsDuring
        (EndFn
            (WhenFn ?CATCH))
        (grasps ?AGENT ?BALL)))
Mid-level-ontology.kif 17112-17117
(=>
    (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 11509-11516
(=>
    (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 11524-11531
(=>
    (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 12447-12454


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