Ungrasping - Sigma Knowledge base Browser

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

If a physical is an instance of ungrasping and an agent is an agent of a process and an entity is a patient of the process,
then the agent grasps the entity holds during the beginning of the time of existence of the physical and the agent doesn't grasp the entity holds during the end of the time of existence of the physical

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

KB Term:			Term intersection

English Word: