Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeGrind
CoffeeGrind(coffee grind)

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage CoffeeGrind "coffee grind") Food.kif 1010-1010

antecedent
-------------------------


(=>
    (instance ?CG CoffeeGrind)
    (exists (?G ?CB)
        (and
            (instance ?G Grinding)
            (patient ?G ?CB)
            (instance ?CB CoffeeBean)
            (attribute ?CB CookedAttribute)
            (result ?G ?CG))))		 Food.kif 1012-1020 If X is an instance of coffee grind, then there exist Y, Z such that Y is an instance of grinding, Z is a patient of Y, Z is an instance of coffee bean, cooked is an attribute of Z, and X is a result of Y
(=>
    (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 1022-1030 If X is an instance of coffee grind, then there exist Y, Z, W such that Y is an instance of coffee bean, Z is an attribute of Y, Z is an instance of coffee roast attribute, W is an attribute of X, and W is an instance of coffee grind attribute
(=>
    (instance ?CG CoffeeGrind)
    (attribute ?CG CookedAttribute))		 Food.kif 1032-1034 If X is an instance of coffee grind, then cooked is an attribute of X
(=>
    (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 1041-1051 If X is an instance of coffee grind attribute, X is an attribute of Y, and Y is an instance of coffee grind, then there exist Z and W such that Z is the diameter in UnitOFLength of Y and W is an instance of length measure and equal W and Z millimeter(s)
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.5))		 Food.kif 1073-1078 If X is an instance of coffee grind, extra coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.5
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C CoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.0))		 Food.kif 1085-1090 If X is an instance of coffee grind, coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.0
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 0.85))		 Food.kif 1097-1102 If X is an instance of coffee grind, medium coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.85
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumGrind)
        (grainSize ?C ?L))
    (equal ?L 0.75))		 Food.kif 1109-1114 If X is an instance of coffee grind, medium grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.75
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.5))		 Food.kif 1121-1126 If X is an instance of coffee grind, medium fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.5
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C FineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.3))		 Food.kif 1133-1138 If X is an instance of coffee grind, fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.3
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.1))		 Food.kif 1145-1150 If X is an instance of coffee grind, extra fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.1

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 640-649 If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of liquid motion (4) Z is a patient of Y (5) Z is an instance of potable water (6) Y ends up at W (7) W is an instance of coffee grind
(=>
    (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 651-660 If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of soaking (4) Z is a resource for Y (5) Z is an instance of potable water (6) W is a patient of Y (7) W 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 662-677 If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is a subprocess of X (3) Y is an instance of removing (4) Y originates at Z (5) Z is an instance of liquid mixture (6) V is a part of Z (7) V is an instance of potable water (8) W is a part of Z (9) W is an instance of coffee grind (10) U is an instrument for Y (11) U is an instance of filter (12) T is a result of Y (13) T is an instance of coffee
(=>
    (optimalGrindSizeForMakingCoffee ?CLASS ?A)
    (exists (?CM ?COLL ?C)
        (and
            (instance ?CM ?CLASS)
            (patient ?CM ?COLL)
            (instance ?COLL CollectionOfObjects)
            (member ?C ?COLL)
            (instance ?C CoffeeGrind)
            (attribute ?C ?A))))		 Food.kif 704-713 If X is the optimal CoffeeGrindAttribute for Y coffee making process, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of Y (3) W is a patient of Z (4) W is an instance of collection (5) V is a member of W (6) V is an instance of coffee grind (7) X is an attribute of V
(=>
    (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 CollectionOfObjects)
                (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 776-811 If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners