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	子類 CoffeeMaking and Cooking
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	子類 CoffeeMaking and 液體運動
(subclass CoffeeMaking Soaking)	Food.kif 650-650	子類 CoffeeMaking and Soaking

appearance as argument number 2

(subclass AeropressingCoffee CoffeeMaking)	Food.kif 901-901	子類 AeropressingCoffee and CoffeeMaking
(subclass ColdBrewingCoffee CoffeeMaking)	Food.kif 836-836	子類 ColdBrewingCoffee and CoffeeMaking
(subclass DrippingCoffee CoffeeMaking)	Food.kif 885-885	子類 DrippingCoffee and CoffeeMaking
(subclass EspressoMaking CoffeeMaking)	Food.kif 783-783	子類 EspressoMaking and CoffeeMaking
(subclass FrenchPressingCoffee CoffeeMaking)	Food.kif 853-853	子類 FrenchPressingCoffee and CoffeeMaking
(subclass MokaPotCoffeeMaking CoffeeMaking)	Food.kif 931-931	子類 MokaPotCoffeeMaking and CoffeeMaking
(subclass SiphoningCoffee CoffeeMaking)	Food.kif 923-923	子類 SiphoningCoffee and CoffeeMaking
(subclass TurkishCoffeeMaking CoffeeMaking)	Food.kif 955-955	子類 TurkishCoffeeMaking and CoffeeMaking
(termFormat EnglishLanguage CoffeeMaking "coffee making")	Food.kif 655-655

appearance as argument number 3

(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)

Food.kif 723-723

域子類 optimalGrindSizeForMakingCoffee, 1 and CoffeeMaking

antecedent

(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	例 Process and CoffeeMaking Entity 例 Entity and 咖啡結果 Process and Entity
(=> (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	例 Process and CoffeeMaking Process Entity and Entity 子過程 Process and Process 例 Process and 液體運動患者 Process and Entity 例 Entity and 飲用水目的地 Process and Entity 例 Entity and CoffeeGrind
(=> (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	例 Process and CoffeeMaking Process Object, Object, Object, Object and Entity 子過程 Process and Process 例 Process and Removing 起源 Process and Object 例 Object and 液體混合物部分 Object and Object 例 Object and 飲用水部分 Object and Object 例 Object and CoffeeGrind 儀器 Process and Object 例 Object and 過濾結果 Process and Entity 例 Entity and 咖啡
(=> (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	例 Process and CoffeeMaking Process Object and Entity 子過程 Process and Process 例 Process and Soaking 資源 Process and Object 例 Object and 飲用水患者 Process and Entity 例 Entity and CoffeeGrind
(=> (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	例 TimePosition and CoffeeMaking 持有期間 TimePosition and entity entity and entity 例 entity and 液體運動例 entity and Soaking 例 entity and Removing 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity

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

例 Physical and ElectricCoffeeMaker
有目的 Physical and PhysicalOFFEE entity 例 entity and CoffeeMaking 儀器 entity and Physical 結果 entity and PhysicalOFFEE 例 PhysicalOFFEE and 咖啡

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: