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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Butter
Butter(牛油)

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


(documentation Butter EnglishLanguage "An emulsion of fat which is produced by churning Milk.") Mid-level-ontology.kif 20988-20988
(externalImage Butter "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ dairy/ butter_3.png") pictureList.kif 307-307
(subclass Butter DairyArtifact) Mid-level-ontology.kif 20987-20987 牛油乳制品subclass

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


(termFormat ChineseLanguage Butter "牛油") domainEnglishFormat.kif 12514-12514
(termFormat ChineseTraditionalLanguage Butter "牛油") domainEnglishFormat.kif 12513-12513
(termFormat EnglishLanguage Butter "butter") domainEnglishFormat.kif 12512-12512

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


(=>
    (instance ?B Butter)
    (exists (?C ?M)
        (and
            (instance ?C Cooking)
            (resource ?C ?M)
            (instance ?M Milk)
            (result ?C ?B))))
Mid-level-ontology.kif 20990-20997


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