CoffeeMaking - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CoffeeMaking EnglishLanguage "CoffeeMaking is a Class of Coffee brewing methods,usually CoffeeGrind is steeped in hot water, then filtered out, producing the coffee to be served.[Wikipedia].")	Food.kif 652-654
(subclass CoffeeMaking Cooking)	Food.kif 649-649	Coffee making is a subclass of cooking
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	Coffee making is a subclass of liquid motion
(subclass CoffeeMaking Soaking)	Food.kif 650-650	Coffee making is a subclass of soaking

appearance as argument number 2

(subclass AeropressingCoffee CoffeeMaking)	Food.kif 901-901	Aeropress coffee is a subclass of coffee making
(subclass ColdBrewingCoffee CoffeeMaking)	Food.kif 836-836	Cold brew coffee is a subclass of coffee making
(subclass DrippingCoffee CoffeeMaking)	Food.kif 885-885	Dripping coffee is a subclass of coffee making
(subclass EspressoMaking CoffeeMaking)	Food.kif 783-783	Espresso making is a subclass of coffee making
(subclass FrenchPressingCoffee CoffeeMaking)	Food.kif 853-853	French press coffee is a subclass of coffee making
(subclass MokaPotCoffeeMaking CoffeeMaking)	Food.kif 931-931	Moka pot coffee making is a subclass of coffee making
(subclass SiphoningCoffee CoffeeMaking)	Food.kif 923-923	Siphoning coffee is a subclass of coffee making
(subclass TurkishCoffeeMaking CoffeeMaking)	Food.kif 955-955	TurkishCoffeeMaking is a subclass of coffee making
(termFormat EnglishLanguage CoffeeMaking "coffee making")	Food.kif 655-655

appearance as argument number 3

(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)

Food.kif 723-723

The number 1 argument of optimal grind size for making coffee is a subclass of coffee making

antecedent

(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	If a process is an instance of coffee making, then there exists an entity such that the entity is an instance of coffee and the entity is a result of the process
(=> (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 ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R)))))))	Food.kif 703-716	If a time position is an instance of coffee making, then there exist an entity, another entity and a third entity such that the entity is an instance of liquid motion and the other entity is an instance of soaking and the third entity is an instance of removing and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity and the beginning of the time of existence of the other entity happens before the beginning of the time of existence of the third entity holds during the time position

consequent

(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M CoffeeMaking)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))

Food.kif 379-387

If a physical is an instance of coffee maker,
then the physical has the purpose there exist the physicalOFFEE and another entity such that the other entity is an instance of coffee making and the physical is an instrument for the other entity and the physicalOFFEE is a result of the other entity and the physicalOFFEE is an instance of coffee

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: