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 10758-10759
(subclass Grabbing Attaching) Merge.kif 10756-10756 subclass Grabbing and Attaching
(subclass Grabbing Touching) Merge.kif 10755-10755 subclass Grabbing and Touching

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


(subclass Biting Grabbing) Mid-level-ontology.kif 6205-6205 subclass Biting and Grabbing
(subclass Strangling Grabbing) Mid-level-ontology.kif 6219-6219 subclass Strangling and Grabbing
(termFormat ChineseLanguage Grabbing "抓") domainEnglishFormat.kif 26350-26350
(termFormat ChineseTraditionalLanguage Grabbing "抓") domainEnglishFormat.kif 26349-26349
(termFormat EnglishLanguage Grabbing "grabbing") domainEnglishFormat.kif 26348-26348

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 10761-10768

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 1858-1867
(=>
    (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 24632-24643


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