TreeView Knowledge Base Browser - Coffee

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Coffee

Coffee

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 632-633
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 356-356
No TPTP formula. May not be expressible in strict first order.	Food.kif 634-634	initialPart Coffee and CoffeeBean
No TPTP formula. May not be expressible in strict first order.	Food.kif 630-630	Coffee e' relacionado internamente por SUMO a CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 631-631	Coffee e' relacionado internamente por SUMO a CoffeeRoastAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 629-629	roomTempState Coffee and Liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 628-628	Coffee e' uma sub-classe de Bebida

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1303-1303	Americano e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1264-1264	Cappuccino e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 739-739	Espresso e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1334-1334	FlatWhite e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1455-1455	Instant e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1387-1387	Latte e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1417-1417	LongBlack e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 764-764	Lungo e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1454-1454	Manilo e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1453-1453	TurkishCoffee e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1452-1452	VietnameseCoffee e' uma sub-classe de Coffee
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15488-15488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15487-15487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15486-15486
No TPTP formula. May not be expressible in strict first order.	Food.kif 635-635	typicallyContainsPart Caffeine and Coffee

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	Colecao e' uma instancia de Meal Fisico e' membro de Colecao Fisico e' uma instancia de Coffee Fisico e' uma instancia de Tea Fisico e' membro de Colecao Fisico e' uma instancia de Juice Fisico e' membro de Colecao Fisico e' uma instancia de BreadOrBiscuit Fisico e' membro de Colecao Fisico e' uma instancia de Butter FisicoA e' membro de Colecao FisicoA e' uma instancia de Jam ContinentalBreakfast e' um atributo de Colecao
No TPTP formula. May not be expressible in strict first order.	Food.kif 637-639	Objeto e' uma instancia de Coffee CaffeinatedAttribute e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	Objeto Corpuscular e' uma instancia de Coffee DrinkingWater e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Food.kif 645-647	Objeto e' uma sub-classe de Coffee initialPart CoffeeBean and Objeto

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
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 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.	Dining.kif 36-44	AutonomousAgent e' uma instancia de Coffeeshop Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 792-797	Processo e' uma instancia de EspressoMaking Entidade Entidade e' o resultado de Processo Entidade 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