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 11521-11523
(documentation grasps JapaneseLanguage "Object をつかむ状態。(grasps ?ANIMAL ?OBJ) は、 Animal ?ANIMAL が意図的に Object ?OBJ に保持していることを意味する。") japanese_format.kif 1818-1819
(domain grasps 1 Animal) Merge.kif 11518-11518 域 掌握, 1 and Animal
(domain grasps 2 Object) Merge.kif 11519-11519 域 掌握, 2 and Object
(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 11517-11517 例 掌握 and BinaryPredicate
(subrelation grasps meetsSpatially) Merge.kif 11516-11516 子關係 掌握 and 空間的符合

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 17111-17116
(=>
    (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 11531-11538
(=>
    (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 11546-11553
(=>
    (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 12469-12476


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