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 initialPart CocoaSolid and CocoaLiquor
(roomTempState CocoaSolid Solid) Food.kif 2481-2481 roomTempState CocoaSolid and Solid
(subclass CocoaSolid Chocolate) Food.kif 2480-2480 CocoaSolidChocolatesubclass では %n

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


(relatedInternalConcept CocoaBean CocoaSolid) Economy.kif 4688-4688 CocoaBeanCocoaSolidinternally 関連して %n
(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