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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CocoaSolid
CocoaSolid(可可粉)

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 %每個 可可粉CocoaLiquorinitially part
(roomTempState CocoaSolid Solid) Food.kif 2481-2481 roomTempState 可可粉 and 固體
(subclass CocoaSolid Chocolate) Food.kif 2480-2480 子類 可可粉 and Chocolate

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


(relatedInternalConcept CocoaBean CocoaSolid) Economy.kif 4688-4688 相關的內部概念 可可豆 and 可可粉
(termFormat ChineseLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15450-15450
(termFormat ChineseTraditionalLanguage CocoaSolid "可可粉") domainEnglishFormat.kif 15449-15449
(termFormat EnglishLanguage CocoaSolid "cocoa solid") domainEnglishFormat.kif 15448-15448

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