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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 12443-12445
(subclass Ungrasping Detaching) Merge.kif 12442-12442

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


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

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 12447-12454


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