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 11671-11673
(documentation grasps JapaneseLanguage "Object をつかむ状態。(grasps ?ANIMAL ?OBJ) は、 Animal ?ANIMAL が意図的に Object ?OBJ に保持していることを意味する。") japanese_format.kif 1818-1819
(domain grasps 1 Animal) Merge.kif 11668-11668 The number 1 argument of grasps is an instance of animal
(domain grasps 2 Object) Merge.kif 11669-11669 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 11667-11667 grasps is an instance of binary predicate
(subrelation grasps meetsSpatially) Merge.kif 11666-11666 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 26482-26482
(termFormat ChineseTraditionalLanguage grasps "掌握") domainEnglishFormat.kif 26481-26481
(termFormat EnglishLanguage grasps "grasps") domainEnglishFormat.kif 26480-26480

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


(=>
    (and
        (instance ?CATCH Catching)
        (agent ?CATCH ?AGENT)
        (patient ?CATCH ?BALL))
    (holdsDuring
        (EndFn
            (WhenFn ?CATCH))
        (grasps ?AGENT ?BALL)))		 Mid-level-ontology.kif 18485-18490
(=>
    (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 11681-11688
(=>
    (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 11696-11703
(=>
    (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 12623-12630


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