TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3482-3484
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14882-14885
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14880-14880	O argumento numero 1 de FoodForFn e' uma sub-classe de Organismo
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 440-440
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14879-14879	FoodForFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14881-14881	Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3469-3469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3468-3468
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20036-20036	Fodder e' relacionado internamente por SUMO a FoodForFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64878-64878

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	subjectiveAttribute Objeto, Won and AutonomousAgent Objeto e' uma instancia de FoodForFn Humano Contest AutonomousAgent and Processo contestObject Contest, Objeto and AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14887-14892	Objeto e' uma instancia de FoodForFn Organismo Objeto Objeto e' uma instancia de Nutriente Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17653-17658	Objeto e' uma instancia de FoodForFn Animal Atributo Atributo e' uma instancia de Atributo Gustativo Atributo e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce e' um atributo de Objeto Objeto e' uma instancia de Fruta ou Vegetal Objeto tem por fim Entidade Entidade e' uma instancia de Harvesting Objeto e' o resultado de Entidade Objeto e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10274-10280	Processo e' uma instancia de Ingerir Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo Objeto e' uma instancia de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11553-11557	Processo e' uma instancia de Chewing Objeto e' um recurso para Processo Objeto e' uma instancia de FoodForFn Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11575-11579	Processo e' uma instancia de Feeding Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	Catalog e' uma instancia de Menu catalogItem Entidade and Catalog Entidade e' uma sub-classe de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	Colecao e' uma instancia de Organizacao FoodAndBeverageStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Bebida Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	Processo e' uma instancia de FoodPickup Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano Objeto Processo and Processo AutonomousAgent e' situado em Objeto Processo e' uma instancia de Translocation Processo e' um agente de AutonomousAgent Processo termina em Objeto Processo e' uma instancia de Obter Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	Transferencia e' uma instancia de Vending objectTransferred Transferencia and Objeto Objeto e' uma instancia de Currency o argumento Objeto e' uma instancia de FoodForFn Humano Objeto e' uma instancia de Bebida tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	RawAttribute e' um atributo de Objeto Objeto e' uma instancia de FoodForFn Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20040-20049	Fodder e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Harvesting Objeto e' o resultado de Entidade Objeto e' uma instancia de Objeto Organico Objeto e' uma instancia de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	ForageCrop e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Agriculture Objeto e' o resultado de Entidade Objeto e' uma instancia de Planta Objeto e' uma instancia de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	naics.kif 11668-11676	SnackAndNonalcoholicBeverageBars e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de FoodForFn Humano Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	AutonomousAgent e' uma instancia de Bakery Processo Entidade and Processo Processo e' uma instancia de Baking Entidade e' o resultado de Processo Entidade e' uma instancia de FoodForFn Humano Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7290	AutonomousAgent e' uma instancia de Restaurant Processo Entidade and Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Objeto e' uma instancia de RestaurantBuilding eventLocated Processo and Objeto Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12889-12894	Processo e' uma instancia de Cozinhar Entidade Entidade e' uma instancia de FoodForFn Humano Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4433-4442	Fisico e' uma instancia de Dish Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Comer Entidade e' um patient de Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de FoodForFn Animal Entidade e' situado em Fisico
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	Processo e' uma instancia de FoodDistributionOperation Entidade Entidade Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Entidade Entidade possui Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	Objeto e' uma instancia de Sandwich Objeto Objeto and Objeto Objeto e' uma instancia de BreadOrBiscuit Objeto e' uma instancia de BreadOrBiscuit Objeto e' uma instancia de FoodForFn Humano Objeto esta' entre Objeto e Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7817-7824	AutonomousAgent e' uma instancia de GroceryStore Processo Entidade Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	Objeto e' uma instancia de MilitaryFoodTruck Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	Entidade e' uma instancia de TapWater o argumento Entidade e' uma instancia de FoodForFn Humano tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	Entidade e' uma instancia de DeadFn CerealGrain Objeto auto-conectado Entidade e' uma instancia de Objeto auto-conectado Objeto auto-conectado e' igual a FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	Colecao e' uma instancia de Buffet Fisico Fisico e' membro de Colecao Fisico e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	Colecao e' uma instancia de HotelMiniBar memberType Colecao and FoodForFn Humano

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12636-12636	Sangue e' igual a FoodForFn Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14895-14895	Comida e' igual a FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	industryProductType FoodManufacturing and FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	Apple e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	Avocado e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	Coconut e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	DateFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21632-21632	Honey e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	LemonFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	OrangeFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	Pea e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	PearFruit e' uma sub-classe de FoodForFn Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	WineGrape e' uma sub-classe de FoodForFn Animal

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

KB Term:			Term intersection

English Word: