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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Releasing
Releasing(releasing)let_go, let_go_of, pop, release, relinquish

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


(documentation Releasing ChineseLanguage "这是在任何 Transfer 的实例时,导致不再出现 agent grasps 某些他/ 她早前 grasp 的东西的情况。 ") chinese_format.kif 3054-3055
(documentation Releasing EnglishLanguage "Any instance of Transfer which results in a situation where it is not the case that the agent grasps something which he/ she grasps previously.") Merge.kif 11566-11568
(documentation Releasing JapaneseLanguage "Transfer のインスタンスは、以前に agent grasps が何かの場合ではない状況をもたらす。") japanese_format.kif 1822-1823
(subclass Releasing Transfer) Merge.kif 11564-11564 Releasing is a subclass of transfer

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


(termFormat ChineseLanguage Releasing "释放") domainEnglishFormat.kif 49372-49372
(termFormat ChineseTraditionalLanguage Releasing "釋放") domainEnglishFormat.kif 49371-49371
(termFormat EnglishLanguage Releasing "releasing") domainEnglishFormat.kif 49370-49370

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


(=>
    (and
        (instance ?RELEASE Releasing)
        (agent ?GRAB ?AGENT)
        (patient ?GRAB ?THING))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?RELEASE))
            (grasps ?AGENT ?THING))
        (holdsDuring
            (EndFn
                (WhenFn ?RELEASE))
            (not
                (grasps ?AGENT ?THING)))))
Merge.kif 11570-11577


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