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 e' uma sub-classe de Cozinhar
(subclass CoffeeMaking LiquidMotion)	Food.kif 651-651	CoffeeMaking e' uma sub-classe de LiquidMotion
(subclass CoffeeMaking Soaking)	Food.kif 650-650	CoffeeMaking e' uma sub-classe de Soaking

appearance as argument number 2

(subclass AeropressingCoffee CoffeeMaking)	Food.kif 901-901	AeropressingCoffee e' uma sub-classe de CoffeeMaking
(subclass ColdBrewingCoffee CoffeeMaking)	Food.kif 836-836	ColdBrewingCoffee e' uma sub-classe de CoffeeMaking
(subclass DrippingCoffee CoffeeMaking)	Food.kif 885-885	DrippingCoffee e' uma sub-classe de CoffeeMaking
(subclass EspressoMaking CoffeeMaking)	Food.kif 783-783	EspressoMaking e' uma sub-classe de CoffeeMaking
(subclass FrenchPressingCoffee CoffeeMaking)	Food.kif 853-853	FrenchPressingCoffee e' uma sub-classe de CoffeeMaking
(subclass MokaPotCoffeeMaking CoffeeMaking)	Food.kif 931-931	MokaPotCoffeeMaking e' uma sub-classe de CoffeeMaking
(subclass SiphoningCoffee CoffeeMaking)	Food.kif 923-923	SiphoningCoffee e' uma sub-classe de CoffeeMaking
(subclass TurkishCoffeeMaking CoffeeMaking)	Food.kif 955-955	TurkishCoffeeMaking e' uma sub-classe de CoffeeMaking
(termFormat EnglishLanguage CoffeeMaking "coffee making")	Food.kif 655-655

appearance as argument number 3

(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking)

Food.kif 723-723

O argumento numero 1 de optimalGrindSizeForMakingCoffee e' uma sub-classe de CoffeeMaking

antecedent

(=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C))))	Food.kif 657-662	Processo e' uma instancia de CoffeeMaking Entidade Entidade e' uma instancia de Coffee Entidade e' o resultado de Processo
(=> (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	Processo e' uma instancia de CoffeeMaking Processo Entidade and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de LiquidMotion Entidade e' um patient de Processo Entidade e' uma instancia de DrinkingWater Processo termina em Entidade Entidade e' uma instancia de 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	Processo e' uma instancia de CoffeeMaking Processo Objeto, Objeto, Objeto, Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de LiquidMixture Objeto e' uma &parte de Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto Objeto e' uma instancia de CoffeeGrind Objeto e' um instrumento para Processo Objeto e' uma instancia de Filter Entidade e' o resultado de Processo Entidade e' uma instancia de 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	Processo e' uma instancia de CoffeeMaking Processo Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Soaking Objeto e' um recurso para Processo Objeto e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' uma instancia de 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	Posicao Temporal e' uma instancia de CoffeeMaking Entidade Entidade and Entidade Entidade e' uma instancia de LiquidMotion Entidade e' uma instancia de Soaking Entidade e' uma instancia de Remover o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade vale durante Posicao Temporal

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

Fisico e' uma instancia de ElectricCoffeeMaker
Fisico tem por fim FisicoOFFEE Entidade Entidade e' uma instancia de CoffeeMaking Fisico e' um instrumento para Entidade FisicoOFFEE e' o resultado de Entidade FisicoOFFEE e' uma instancia de Coffee

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: