CoffeeGrind - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CoffeeGrind

CoffeeGrind(coffee grind)

appearance as argument number 1

(documentation CoffeeGrind EnglishLanguage "CoffeeGrind is ground Coffee powder from roasted CoffeeBeans of various sizes, catering for different coffee making methods.")	Food.kif 1031-1032
(subclass CoffeeGrind FoodFromPlant)	Food.kif 1030-1030	Coffee grind is a subclass of food from plant
(subclass CoffeeGrind Powder)	Food.kif 1029-1029	Coffee grind is a subclass of powder

appearance as argument number 2

(termFormat EnglishLanguage CoffeeGrind "coffee grind")

Food.kif 1033-1033

antecedent

(=> (and (instance ?A CoffeeGrindAttribute) (attribute ?C ?A) (instance ?C CoffeeGrind)) (exists (?L ?X) (and (grainSize ?C ?L) (instance ?X LengthMeasure) (equal ?X (MeasureFn ?L Millimeter)))))	Food.kif 1064-1074	If an attribute is an instance of coffee grind attribute and the attribute is an attribute of an object and the object is an instance of coffee grind, then there exist a real number and a physical quantity such that the real number is the diameter in UnitOFLength of the object and the physical quantity is an instance of length measure and the physical quantity is equal to the real number millimeter(s)
(=> (and (instance ?C CoffeeGrind) (attribute ?C CoarseGrind) (grainSize ?C ?L)) (equal ?L 1.0))	Food.kif 1108-1113	If an object is an instance of coffee grind and coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 1.0
(=> (and (instance ?C CoffeeGrind) (attribute ?C ExtraCoarseGrind) (grainSize ?C ?L)) (equal ?L 1.5))	Food.kif 1096-1101	If an object is an instance of coffee grind and extra coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 1.5
(=> (and (instance ?C CoffeeGrind) (attribute ?C ExtraFineGrind) (grainSize ?C ?L)) (equal ?L 0.1))	Food.kif 1168-1173	If an object is an instance of coffee grind and extra fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.1
(=> (and (instance ?C CoffeeGrind) (attribute ?C FineGrind) (grainSize ?C ?L)) (equal ?L 0.3))	Food.kif 1156-1161	If an object is an instance of coffee grind and fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.3
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumCoarseGrind) (grainSize ?C ?L)) (equal ?L 0.85))	Food.kif 1120-1125	If an object is an instance of coffee grind and medium coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.85
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumFineGrind) (grainSize ?C ?L)) (equal ?L 0.5))	Food.kif 1144-1149	If an object is an instance of coffee grind and medium fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.5
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumGrind) (grainSize ?C ?L)) (equal ?L 0.75))	Food.kif 1132-1137	If an object is an instance of coffee grind and medium grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.75
(=> (instance ?CG CoffeeGrind) (attribute ?CG CookedAttribute))	Food.kif 1055-1057	If an object is an instance of coffee grind, then cooked is an attribute of the object
(=> (instance ?CG CoffeeGrind) (exists (?B ?A ?C) (and (instance ?B CoffeeBean) (attribute ?B ?A) (instance ?A CoffeeRoastAttribute) (attribute ?CG ?C) (instance ?C CoffeeGrindAttribute))))	Food.kif 1045-1053	If an object is an instance of coffee grind, then there exist another object, an attribute and another attribute such that the other object is an instance of coffee bean and the attribute is an attribute of the other object and the attribute is an instance of coffee roast attribute and the other attribute is an attribute of the object and the other attribute is an instance of coffee grind attribute
(=> (instance ?CG CoffeeGrind) (exists (?G ?CB) (and (instance ?G Grinding) (patient ?G ?CB) (instance ?CB CoffeeBean) (attribute ?CB CookedAttribute) (result ?G ?CG))))	Food.kif 1035-1043	If an entity is an instance of coffee grind, then there exist a process and an object such that the process is an instance of grinding and the object is a patient of the process and the object is an instance of coffee bean and cooked is an attribute of the object and the entity is a result of the process

consequent

(=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind))))	Food.kif 664-673	If a process is an instance of coffee making, then there exist another process, an entity and another entity such that the other process is a subprocess of the process and the other process is an instance of liquid motion and the entity is a patient of the other process and the entity is an instance of potable water and the other process ends up at the other entity and the other entity is an instance of coffee grind
(=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee))))	Food.kif 686-701	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
(=> (instance ?CM CoffeeMaking) (exists (?S ?W ?CG) (and (subProcess ?S ?CM) (instance ?S Soaking) (resource ?S ?W) (instance ?W DrinkingWater) (patient ?S ?CG) (instance ?CG CoffeeGrind))))	Food.kif 675-684	If a process is an instance of coffee making, then there exist another process, an object and an entity such that the other process is a subprocess of the process and the other process is an instance of soaking and the object is a resource for the other process and the object is an instance of potable water and the entity is a patient of the other process and the entity is an instance of coffee grind
(=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R)))))))	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
(=> (optimalGrindSizeForMakingCoffee ?CLASS ?A) (exists (?CM ?COLL ?C) (and (instance ?CM ?CLASS) (patient ?CM ?COLL) (instance ?COLL Collection) (member ?C ?COLL) (instance ?C CoffeeGrind) (attribute ?C ?A))))	Food.kif 728-737	If a coffee grind attribute is the optimal CoffeeGrindAttribute for a kind of coffee making coffee making process, then there exist a process, a collection and an object such that the process is an instance of a kind of coffee making and the collection is a patient of the process and the collection is an instance of collection and the object is a member of the collection and the object is an instance of coffee grind and the coffee grind attribute is an attribute of the object

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