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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10761-10762
(subclass Grabbing Attaching) Merge.kif 10759-10759
(subclass Grabbing Touching) Merge.kif 10758-10758

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


(subclass Biting Grabbing) Mid-level-ontology.kif 5605-5605
(subclass Strangling Grabbing) Mid-level-ontology.kif 5619-5619
(termFormat ChineseLanguage Grabbing "抓") domainEnglishFormat.kif 26343-26343
(termFormat ChineseTraditionalLanguage Grabbing "抓") domainEnglishFormat.kif 26342-26342
(termFormat EnglishLanguage Grabbing "grabbing") domainEnglishFormat.kif 26341-26341

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 10764-10771

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 1394-1403
(=>
    (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 22691-22702


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