Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Ungrasping
Ungrasping(ungrasping)

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


(subclass Ungrasping Detaching) Merge.kif 12732-12732 Ungrasping is a subclass of detaching
(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 12733-12735 Ungrasping is a subclass of detaching

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


(termFormat EnglishLanguage Ungrasping "ungrasping") domainEnglishFormat.kif 59919-59919
(termFormat ChineseTraditionalLanguage Ungrasping "取消抓握") domainEnglishFormat.kif 59920-59920
(termFormat ChineseLanguage Ungrasping "取消抓握") domainEnglishFormat.kif 59921-59921

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 12737-12744 If X is an instance of ungrasping, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners