CocoaLiquor - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CocoaLiquor EnglishLanguage "CocoaLiquor is pure cocoa mass (cocoa paste) in solid or semi_solid form. It is produced from cocoa beans that have been fermented, dried, roasted, and separated from their skins. It contains both cocoa solids and cocoa butter in roughly equal proportion.[Wikipedia]")	Food.kif 2450-2453
(roomTempState CocoaLiquor Solid)	Food.kif 2449-2449	room temperature state cocoa liquor and solid
(subclass CocoaLiquor Chocolate)	Food.kif 2448-2448	Cocoa liquor is a subclass of chocolate

appearance as argument number 2

(initialPart CocoaButter CocoaLiquor)	Food.kif 2499-2499	Every cocoa butter is initially part of a cocoa liquor
(initialPart CocoaSolid CocoaLiquor)	Food.kif 2491-2491	Every cocoa solid is initially part of a cocoa liquor
(termFormat EnglishLanguage CocoaLiquor "cocoa liquor")	Food.kif 2454-2454	Every cocoa solid is initially part of a cocoa liquor

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	If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object, then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0
(=> (instance ?X CocoaLiquor) (exists (?H ?B) (and (instance ?H Heating) (patient ?H ?B) (instance ?B CocoaBean) (attribute ?B DryRoastAttribute) (attribute ?B HulledAttribute) (attribute ?B FermentedAttribute) (result ?H ?X) (holdsDuring ?H (attribute ?X Liquid)))))	Food.kif 2456-2468	If an entity is an instance of cocoa liquor, then there exist a process and an object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of cocoa bean and dry roast is an attribute of the object and hulled is an attribute of the object and fermented is an attribute of the object and the entity is a result of the process and liquid is an attribute of the entity holds during the process

consequent

(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))

Food.kif 2507-2512

If a corpuscular object is an instance of chocolate candy,
then the corpuscular object is made of cocoa liquor and the corpuscular object is made of oil and the corpuscular object is made of sugar

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

KB Term:			Term intersection

English Word: