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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CocoaButter

Sigma KEE - CocoaButter
CocoaButter

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
(roomTempState CocoaButter Emulsion) Food.kif 2487-2487
(roomTempState CocoaButter Solid) Food.kif 2489-2489
(subclass CocoaButter Chocolate) Food.kif 2488-2488
(subclass CocoaButter VegetableOil) Food.kif 2486-2486

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


(relatedInternalConcept CocoaBean CocoaButter) Economy.kif 4689-4689
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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