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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Grabbing

Sigma KEE - Grabbing
Grabbing

appearance as argument number 1
-------------------------


(documentation Grabbing ChineseLanguage "这是在任何 Touching 的实例时,Touching 导致 agent grasps patient 的情况。") chinese_format.kif 3052-3053
(documentation Grabbing EnglishLanguage "Any instance of Touching which results in a situation where the agent grasps the patient of the Touching.") Merge.kif 11552-11553
(documentation Grabbing JapaneseLanguage "Touching の任意のインスタンスは、Touching の grasp が patient である状況をもたらす。") japanese_format.kif 1820-1821
(subclass Grabbing Attaching) Merge.kif 11550-11550 Grabbing e' uma sub-classe de Colar
(subclass Grabbing Touching) Merge.kif 11549-11549 Grabbing e' uma sub-classe de Tocar

appearance as argument number 2
-------------------------


(subclass Biting Grabbing) Mid-level-ontology.kif 6505-6505 Biting e' uma sub-classe de Grabbing
(subclass Strangling Grabbing) Mid-level-ontology.kif 6519-6519 Strangling e' uma sub-classe de Grabbing
(termFormat ChineseLanguage Grabbing "抓") domainEnglishFormat.kif 26352-26352
(termFormat ChineseTraditionalLanguage Grabbing "抓") domainEnglishFormat.kif 26351-26351
(termFormat EnglishLanguage Grabbing "grabbing") domainEnglishFormat.kif 26350-26350

antecedent
-------------------------


(=>
    (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

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


(=>
    (instance ?H Handle)
    (hasPurpose ?H
        (exists (?G ?D)
            (and
                (instance ?G Grabbing)
                (patient ?G ?H)
                (instrument ?G ?D)
                (instance ?D Hand)))))
Mid-level-ontology.kif 1450-1459
(=>
    (instance ?X GrabBar)
    (and
        (exists (?WALL)
            (and
                (instance ?WALL Wall)
                (connected ?X ?WALL)))
        (hasPurpose ?X
            (exists (?GRAB)
                (and
                    (instance ?GRAB Grabbing)
                    (instrument ?GRAB ?X))))))
Mid-level-ontology.kif 26515-26526


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