FoodForFn - Sigma 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 14906-14909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14904-14904	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 14903-14903	FoodForFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14905-14905	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 20064-20064	Fodder e' relacionado internamente por SUMO a FoodForFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64880-64880

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 14911-14916	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 17710-17715	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 20628-20650	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 10288-10294	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 11581-11585	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 11603-11607	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 1979-1988	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 20068-20077	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 7308-7318	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 12913-12918	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 4428-4437	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 7845-7852	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 12664-12664	Sangue e' igual a FoodForFn Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14919-14919	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 21660-21660	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: