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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ungrasping
Ungrasping(ungrasping)

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


(documentation Ungrasping ChineseLanguage "这是任何 Detaching 的实例,它是不是由 agent grasps 某些他/ 她早前所 grasps 的东西所造成的情况。") chinese_format.kif 3172-3173
(documentation Ungrasping EnglishLanguage "Any instance of Detaching which results in a situation where it is not the case that the agent grasps something which he/ she grasps previously.") Merge.kif 12489-12491
(subclass Ungrasping Detaching) Merge.kif 12488-12488 Ungrasping is a subclass of detaching

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


(termFormat ChineseLanguage Ungrasping "取消抓握") domainEnglishFormat.kif 59938-59938
(termFormat ChineseTraditionalLanguage Ungrasping "取消抓握") domainEnglishFormat.kif 59937-59937
(termFormat EnglishLanguage Ungrasping "ungrasping") domainEnglishFormat.kif 59936-59936

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


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


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