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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Stirring
Stirring

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 19081-19082
(subclass Stirring Combining) Mid-level-ontology.kif 19080-19080 Stirring est une sous-classe de combiner
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 19079-19079 Stirring est une sous-classe de LiquidMotion

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


(termFormat ChineseLanguage Stirring "搅拌") domainEnglishFormat.kif 55378-55378
(termFormat ChineseTraditionalLanguage Stirring "攪拌") domainEnglishFormat.kif 55377-55377
(termFormat EnglishLanguage Stirring "stirring") domainEnglishFormat.kif 55376-55376

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


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