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 ist eine teilkategorie von Cooking
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	CoffeeMaking ist eine teilkategorie von LiquidMotion
(subclass CoffeeMaking Soaking)	Food.kif 650-650	CoffeeMaking ist eine teilkategorie von Soaking

appearance as argument number 2

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

appearance as argument number 3

(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)

Food.kif 723-723

Die Zahl 1 Argument von optimalGrindSizeForMakingCoffee ist eine teilkategorie von CoffeeMaking %n{nicht}

antecedent

(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Entity um Entity ist ein fall von Coffee %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Entity, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von LiquidMotion %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von DrinkingWater %n{nicht} und Process endet an Entity %n{nicht} und ** Entity ist ein fall von CoffeeGrind %n{nicht}
(=> (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	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Object,, , Object,, , Object,, , Object, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von LiquidMixture %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von DrinkingWater %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CoffeeGrind %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Filter %n{nicht} und Entity ist ein resultat von Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}
(=> (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	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Object, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von Soaking %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein fall von DrinkingWater %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von CoffeeGrind %n{nicht}
(=> (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	Wenn TimePosition ist ein fall von CoffeeMaking %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein fall von Soaking %n{nicht} und entity ist ein fall von Removing %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}

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

Wenn Physical ist ein fall von ElectricCoffeeMaker %n{nicht},
dann ** Physical hat Zweck von es gibt ** PhysicalOFFEE und ** entity um ** ** entity ist ein fall von CoffeeMaking %n{nicht} und ** Physical ist ein instrument fuer ** ** entity %n{nicht} und ** PhysicalOFFEE ist ein resultat von ** ** entity %n{nicht} und ** PhysicalOFFEE ist ein fall von Coffee %n{nicht} %n{nicht}

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: