Releasing - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage Releasing "释放")	domainEnglishFormat.kif 49403-49403
(termFormat ChineseTraditionalLanguage Releasing "釋放")	domainEnglishFormat.kif 49402-49402
(termFormat EnglishLanguage Releasing "releasing")	domainEnglishFormat.kif 49401-49401

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 11599-11606

If a physical is an instance of releasing 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

consequent

(=>
    (and
        (instance ?G Substance)
        (attribute ?G OxidizingSubstance))
    (exists (?R)
        (and
            (instance ?R Releasing)
            (patient ?R Oxygen)
            (capability Releasing origin ?G)
            (modalAttribute
                (exists (?C)
                    (and
                        (instance ?C Combustion)
                        (causes ?R ?C))) Possibility))))

Transportation.kif 4174-4187

If an object is an instance of substance and oxidizing substance is an attribute of the object,
then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility

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: