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

Formal Language: 



KB Term:  Term intersection
English Word: 

  grasps

 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 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
(domain grasps 2 Object) Merge.kif 11543-11543
(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 11541-11541
(subrelation grasps meetsSpatially) Merge.kif 11540-11540

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 17139-17144
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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