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 1030-1031
(subclass CoffeeGrind FoodFromPlant) Food.kif 1029-1029 Coffee grind is a subclass of food from plant
(subclass CoffeeGrind Powder) Food.kif 1028-1028 Coffee grind is a subclass of powder

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


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

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 1063-1073
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C CoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.0))
Food.kif 1107-1112
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.5))
Food.kif 1095-1100
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.1))
Food.kif 1167-1172
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C FineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.3))
Food.kif 1155-1160
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 0.85))
Food.kif 1119-1124
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.5))
Food.kif 1143-1148
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumGrind)
        (grainSize ?C ?L))
    (equal ?L 0.75))
Food.kif 1131-1136
(=>
    (instance ?CG CoffeeGrind)
    (attribute ?CG CookedAttribute))
Food.kif 1054-1056
(=>
    (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 1044-1052
(=>
    (instance ?CG CoffeeGrind)
    (exists (?G ?CB)
        (and
            (instance ?G Grinding)
            (patient ?G ?CB)
            (instance ?CB CoffeeBean)
            (attribute ?CB CookedAttribute)
            (result ?G ?CG))))
Food.kif 1034-1042

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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


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