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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CocoaButter
CocoaButter(cocoa butter)

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


(documentation CocoaButter EnglishLanguage "CocoaBeans are dried and fully fermented seed of Theobroma cacao.") Economy.kif 4690-4691
(documentation CocoaButter EnglishLanguage "CocoaButter is edible fat extracted from Cocoa liquor. [Wikipedia]") Food.kif 2490-2491
(documentation CocoaButter EnglishLanguage "CocoaTree, Theobroma cacao is a small evergreen tree in the family Malvaceae. Its seeds, cocoa beans, are used to make chocolate liquor, cocoa solids, cocoa butter and chocolate.") Economy.kif 4702-4704
(initialPart CocoaButter CocoaLiquor) Food.kif 2492-2492 Every cocoa butter is initially part of a cocoa liquor
(roomTempState CocoaButter Emulsion) Food.kif 2487-2487 roomTempState cocoa butter and emulsion
(roomTempState CocoaButter Solid) Food.kif 2489-2489 roomTempState cocoa butter and solid
(subclass CocoaButter Chocolate) Food.kif 2488-2488 Cocoa butter is a subclass of chocolate
(subclass CocoaButter VegetableOil) Food.kif 2486-2486 Cocoa butter is a subclass of vegetable oil

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


(relatedInternalConcept CocoaBean CocoaButter) Economy.kif 4689-4689 Cocoa bean is internally related to cocoa butter
(termFormat ChineseLanguage CocoaButter "可可脂") domainEnglishFormat.kif 15456-15456
(termFormat ChineseTraditionalLanguage CocoaButter "可可脂") domainEnglishFormat.kif 15455-15455
(termFormat EnglishLanguage CocoaButter "cocoa butter") domainEnglishFormat.kif 15454-15454

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


(=>
    (and
        (instance ?L CocoaLiquor)
        (weight ?L
            (MeasureFn 100.0 Gram))
        (instance ?S CocoaSolid)
        (part ?S ?L)
        (weight ?S
            (MeasureFn ?X Gram))
        (instance ?B CocoaButter)
        (part ?B ?L)
        (weight ?B
            (MeasureFn ?Y Gram)))
    (and
        (approximateValue ?X 50.0)
        (approximateValue ?Y 50.0)))
Food.kif 2463-2478


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