Stirring - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Stirring EnglishLanguage "Any instance of LiquidMotion which is also an instance of Combining two or more Liquids.")	Mid-level-ontology.kif 17788-17789
(subclass Stirring Combining)	Mid-level-ontology.kif 17787-17787	Stirring is a subclass of combining
(subclass Stirring LiquidMotion)	Mid-level-ontology.kif 17786-17786	Stirring is a subclass of liquid motion

appearance as argument number 2

(termFormat ChineseLanguage Stirring "搅拌")	domainEnglishFormat.kif 55414-55414
(termFormat ChineseTraditionalLanguage Stirring "攪拌")	domainEnglishFormat.kif 55413-55413
(termFormat EnglishLanguage Stirring "stirring")	domainEnglishFormat.kif 55412-55412

consequent

(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))

Food.kif 128-151

If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process,
then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process

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: