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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Releasing
Releasing

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 11520-11522
(documentation Releasing JapaneseLanguage "Transfer のインスタンスは、以前に agent grasps が何かの場合ではない状況をもたらす。") japanese_format.kif 1822-1823
(subclass Releasing Transfer) Merge.kif 11518-11518

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


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

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 11524-11531


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