TreeView 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 は料理の subclass では %n
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	CoffeeMaking は LiquidMotion の subclass では %n
(subclass CoffeeMaking Soaking)	Food.kif 650-650	CoffeeMaking は Soaking の subclass では %n

appearance as argument number 2

(subclass AeropressingCoffee CoffeeMaking)	Food.kif 901-901	AeropressingCoffee は CoffeeMaking の subclass では %n
(subclass ColdBrewingCoffee CoffeeMaking)	Food.kif 836-836	ColdBrewingCoffee は CoffeeMaking の subclass では %n
(subclass DrippingCoffee CoffeeMaking)	Food.kif 885-885	DrippingCoffee は CoffeeMaking の subclass では %n
(subclass EspressoMaking CoffeeMaking)	Food.kif 783-783	EspressoMaking は CoffeeMaking の subclass では %n
(subclass FrenchPressingCoffee CoffeeMaking)	Food.kif 853-853	FrenchPressingCoffee は CoffeeMaking の subclass では %n
(subclass MokaPotCoffeeMaking CoffeeMaking)	Food.kif 931-931	MokaPotCoffeeMaking は CoffeeMaking の subclass では %n
(subclass SiphoningCoffee CoffeeMaking)	Food.kif 923-923	SiphoningCoffee は CoffeeMaking の subclass では %n
(subclass TurkishCoffeeMaking CoffeeMaking)	Food.kif 955-955	TurkishCoffeeMaking は CoffeeMaking の subclass では %n
(termFormat EnglishLanguage CoffeeMaking "coffee making")	Food.kif 655-655

appearance as argument number 3

(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)

Food.kif 723-723

optimalGrindSizeForMakingCoffee の数値 1 引数は CoffeeMaking のsubclass では %n

antecedent

(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	工程は CoffeeMaking の instance では %n エンティティーエンティティーは Coffee の instance では %n エンティティーは工程の result では %n
(=> (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	工程は CoffeeMaking の instance では %n 工程エンティティー and エンティティー工程は工程% の subprocess では %n 工程は LiquidMotion の instance では %n エンティティーは工程の patient では %n エンティティーは DrinkingWater の instance では %n 工程はエンティティーに ends %n{ない} エンティティーは CoffeeGrind の instance では %n
(=> (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	工程は CoffeeMaking の instance では %n 工程オブジェクト, オブジェクト, オブジェクト, オブジェクト and エンティティー工程は工程% の subprocess では %n 工程は除却の instance では %n 工程はオブジェクトから originates %n{ない} オブジェクトは LiquidMixture の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは DrinkingWater の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは CoffeeGrind の instance では %n オブジェクトは工程の instrument では %n オブジェクトは Filter の instance では %n エンティティーは工程の result では %n エンティティーは Coffee の instance では %n
(=> (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	工程は CoffeeMaking の instance では %n 工程オブジェクト and エンティティー工程は工程% の subprocess では %n 工程は Soaking の instance では %n オブジェクトは工程の resource では %n オブジェクトは DrinkingWater の instance では %n エンティティーは工程の patient では %n エンティティーは CoffeeGrind の instance では %n
(=> (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	時間位置は CoffeeMaking の instance では %n エンティティーエンティティー and エンティティーエンティティーは LiquidMotion の instance では %n エンティティーは Soaking の instance では %n エンティティーは除却の instance では %n エンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} エンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} は時間位置の during holds %n{ない}

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

物理は ElectricCoffeeMaker の instance では %n
物理は物理OFFEE エンティティーエンティティーは CoffeeMaking の instance では %n 物理はエンティティーの instrument では %n 物理OFFEE はエンティティーの result では %n 物理OFFEE は Coffee の instance では %n の目的 %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: