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 2489-2490
(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 2491-2491 Every cocoa solid is initially part of a cocoa liquor
(roomTempState CocoaSolid Solid) Food.kif 2488-2488 room temperature state cocoa solid and solid
(subclass CocoaSolid Chocolate) Food.kif 2487-2487 Cocoa solid is a subclass of chocolate

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


(relatedInternalConcept CocoaBean CocoaSolid) Economy.kif 5026-5026 Cocoa bean is internally related to cocoa solid
(termFormat ChineseLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15465-15465 Cocoa bean is internally related to cocoa solid
(termFormat ChineseTraditionalLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15464-15464 Cocoa bean is internally related to cocoa solid
(termFormat EnglishLanguage CocoaSolid "cocoa solid") domainEnglishFormat.kif 15463-15463 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 2470-2485


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