TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 310-312
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 909-909
No TPTP formula. May not be expressible in strict first order.	Food.kif 308-308	PreparedFood e' uma sub-classe de Comida
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	PreparedFood e' uma sub-classe de Mistura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	Bebida e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	BreadOrBiscuit e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	Chocolate e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1575-1575	CookedDish e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2125-2125	CuredMeat e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	DairyArtifact e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	Dough e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	DrinkingWater e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2778-2778	FermentedFood e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	Flour e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	Jam e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2737-2737	Pasta e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	Raisin e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2061-2061	Sauce e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3440-3440	Sorbet e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	SoupStock e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	Spice e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3508-3508	Tofu e' uma sub-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47210-47210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47209-47209
No TPTP formula. May not be expressible in strict first order.	Food.kif 313-313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47208-47208

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	Catalog e' uma instancia de SetMenu offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de PreparedFood Fisico e' uma instancia de Classe Fisico e' uma instancia de Entidade Fisico e' igual a Fisico price Fisico, Medida de Divisa and AutonomousAgent price Fisico, Medida de Divisa and AutonomousAgent Medida de Divisa e' igual a Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processo e' uma instancia de Colocar Entidade e' um patient de Processo Entidade e' uma instancia de Spice Processo termina em Objeto Objeto e' uma instancia de PreparedFood Processo Atributo Processo e' uma instancia de Mudanca Interna Objeto e' um patient de Processo Atributo e' o resultado de Processo Atributo e' um atributo de Objeto Atributo e' uma instancia de FlavourAttribute Atributo e' uma instancia de Atributo de Cor
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	Entidade e' uma instancia de PreparedFood Processo Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de FoodForFn Humano

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	Atributo e' um atributo de Objeto Atributo e' uma instancia de FoodAttribute Objeto e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1262-1266	Atributo e' um atributo de Objeto Atributo e' uma instancia de Cuisine Objeto e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 355-363	Fisico e' uma instancia de Microwave Fisico tem por fim Entidade Entidade Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de Aquecer Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3052-3060	Fisico e' uma instancia de FoodRating Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Classificar Entidade termina em Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	Fisico e' uma instancia de Spice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colocar Fisico e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processo e' uma instancia de RoomService AutonomousAgent Entidade, Agente Cognitivo, Processo, Entidade, Processo and Objeto customer Agente Cognitivo and AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade define Entidade Entidade e' uma instancia de PreparedFood Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de HotelUnit Processo e' uma instancia de DeliveryService Entidade e' um patient de Processo Processo termina em Objeto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	Objeto e' uma instancia de WetBar Objeto Objeto Objeto e' uma instancia de WashBasin Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Flat e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de Bebida eventLocated Entidade and Objeto Objeto e' uma &parte de Objeto

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: