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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CocoaSolid
CocoaSolid(cocoa solid)

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


(documentation CocoaSolid EnglishLanguage "CocoaSolid is is extracted from chocolate liquor, roasted cocoa beans that have been ground into a liquid state.[wikipedia]") Food.kif 2482-2483
(externalImage CocoaSolid "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ Nestl%C3%A9_Milo.jpg/ 800px-Nestl%C3%A9_Milo.jpg ") pictureList.kif 1431-1431
(initialPart CocoaSolid CocoaLiquor) Food.kif 2484-2484 Every cocoa solid is initially part of a cocoa liquor
(roomTempState CocoaSolid Solid) Food.kif 2481-2481 roomTempState cocoa solid and solid
(subclass CocoaSolid Chocolate) Food.kif 2480-2480 Cocoa solid is a subclass of chocolate

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


(relatedInternalConcept CocoaBean CocoaSolid) Economy.kif 4688-4688 Cocoa bean is internally related to cocoa solid
(termFormat ChineseLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15466-15466 Cocoa bean is internally related to cocoa solid
(termFormat ChineseTraditionalLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15465-15465 Cocoa bean is internally related to cocoa solid
(termFormat EnglishLanguage CocoaSolid "cocoa solid") domainEnglishFormat.kif 15464-15464 Cocoa bean is internally related to cocoa solid

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