TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 652-654
No TPTP formula. May not be expressible in strict first order.	Food.kif 649-649	CoffeeMaking e' uma sub-classe de Cozinhar
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	CoffeeMaking e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Food.kif 650-650	CoffeeMaking e' uma sub-classe de Soaking

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 901-901	AeropressingCoffee e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 836-836	ColdBrewingCoffee e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 885-885	DrippingCoffee e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 783-783	EspressoMaking e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 853-853	FrenchPressingCoffee e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 931-931	MokaPotCoffeeMaking e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 923-923	SiphoningCoffee e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 955-955	TurkishCoffeeMaking e' uma sub-classe de CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 655-655

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Food.kif 723-723

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 657-662	Processo e' uma instancia de CoffeeMaking Entidade Entidade e' uma instancia de Coffee Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

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: