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 2443-2446
(roomTempState CocoaLiquor Solid)	Food.kif 2442-2442	roomTempState cocoa liquor and solid
(subclass CocoaLiquor Chocolate)	Food.kif 2441-2441	Cocoa liquor is a subclass of chocolate

appearance as argument number 2

(initialPart CocoaButter CocoaLiquor)	Food.kif 2492-2492	Every cocoa butter is initially part of a cocoa liquor
(initialPart CocoaSolid CocoaLiquor)	Food.kif 2484-2484	Every cocoa solid is initially part of a cocoa liquor
(termFormat EnglishLanguage CocoaLiquor "cocoa liquor")	Food.kif 2447-2447	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 2463-2478	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 2449-2461	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 hulled is an attribute of the object and HulledAttribute 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 2500-2505

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: