Eating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Eating

Eating(Comer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2909-2909
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10298-10299
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1658-1658
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2806-2806
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2668-2668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2805-2805
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10296-10296	Comer e' uma sub-classe de Ingerir

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 325-325	Aqiqah e' uma sub-classe de Comer
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 89-89	Iftar e' uma sub-classe de Comer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2767-2767	Overgrazing e' uma sub-classe de Comer
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 35-35	Suhur e' uma sub-classe de Comer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1080-1080
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1371-1371
No TPTP formula. May not be expressible in strict first order.	french_format.kif 758-758
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 290-290
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 293-293
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2442-2442
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 710-710
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 295-295
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 329-329
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 779-779
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 294-294

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30686-30707	Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20093-20099	AutonomousAgent e' uma instancia de Herbivore Processo e' um agente de AutonomousAgent Processo e' uma instancia de Comer Entidade e' um patient de Processo Entidade e' uma instancia de Planta
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10301-10305	Processo e' uma instancia de Comer Objeto e' um recurso para Processo Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processo e' uma instancia de CateringService Processo e' um agente de AutonomousAgent Processo termina em ProcessoUST AutonomousAgent e' situado em Objeto customer ProcessoUST and AutonomousAgent Processo Entidade and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Comer Processo e' um agente de ProcessoUST eventLocated Processo and Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14655	AutonomousAgent e' uma instancia de Carnivoro Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent e' uma instancia de Restaurant Objeto e' uma instancia de DiningRoom PrivateAttribute e' um atributo de Objeto AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Comer Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de GroupOfPeople o argumento Entidade Entidade customer Entidade and AutonomousAgent Agente Cognitivo e' igual a Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Objeto vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 274-291	Colecao e' uma instancia de Buffet Fisico e' membro de Colecao Colecao e' situado em Objeto Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent eventLocated Processo and Objeto Fisico e' um patient de Processo Objeto e' igual a Objeto Processo Processo e' uma instancia de Obter Fisico e' um patient de Processo Processo tem como origem Objeto Processo e' um agente de AutonomousAgent tempo de existencia de Processo comeca antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1706-1716	Objeto e' uma instancia de Meal Breakfast e' um atributo de Objeto Processo e' uma instancia de Comer Objeto e' um patient de Processo o argumento Entidade tempo de existencia de Processo acontece durante Entidade Entidade e' uma instancia de BreakfastTime tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1793-1803	Objeto e' uma instancia de Meal Dinner e' um atributo de Objeto Processo e' uma instancia de Comer Objeto e' um patient de Processo o argumento Entidade tempo de existencia de Processo acontece durante Entidade Entidade e' uma instancia de DinnerTime tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1776-1786	Objeto e' uma instancia de Meal Lunch e' um atributo de Objeto Processo e' uma instancia de Comer Objeto e' um patient de Processo o argumento Entidade tempo de existencia de Processo acontece durante Entidade Entidade e' uma instancia de LunchTime tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21560-21567	Proposicao e' uma instancia de Diet Processo exprime o conteudo de Proposicao Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Comer
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent e' uma instancia de Restaurant Objeto e' uma instancia de DiningRoom PrivateAttribute e' um atributo de Objeto AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Comer Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de GroupOfPeople o argumento Entidade Entidade customer Entidade and AutonomousAgent Agente Cognitivo e' igual a Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Objeto vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	offers AutonomousAgent and MealPlan MealPlan e' uma instancia de MealPlan includedMeal MealPlan and Atributo Relacional TravelerAccommodation e' um atributo de AutonomousAgent guest Agente Cognitivo and AutonomousAgent buys Agente Cognitivo, AutonomousAgent and MealPlan Entidade Entidade Atributo Relacional e' um atributo de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade vale durante Entidade vale durante tempo de existencia de guest Agente Cognitivo and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19818-19824	Hungry e' um atributo de Agente Cognitivo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20079-20087	Fodder e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de DomesticAnimal Entidade e' uma instancia de Comer Entidade e' um agente de Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5037-5045	Anorexia e' um atributo de Agente Cognitivo Processo Processo e' uma instancia de Comer Processo e' um agente de Agente Cognitivo Agente Cognitivo tem necessidade de Processo Agente Cognitivo nao quer %n Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5010-5022	Bulimia e' um atributo de Agente Cognitivo Fisico Processo Fisico e' uma instancia de Comer Processo e' uma instancia de Vomiting Processo e' uma instancia de Defecating Processo e' um agente de Agente Cognitivo Agente Cognitivo quer Processo tempo de existencia de Fisico acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30673-30680	Fasting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent tempo de existencia de Processo engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11593-11598	Processo e' uma instancia de Chewing Processo Processo e' uma instancia de Comer Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15598-15604	Fisico e' uma instancia de DiningArea Fisico tem por fim Entidade Entidade e' uma instancia de Comer eventLocated Entidade and Fisico
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.	Food.kif 1688-1694	Fisico e' uma instancia de Meal Fisico tem por fim Entidade Entidade e' uma instancia de Comer Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22612-22626	Fisico e' uma instancia de RestaurantBuilding Fisico tem por fim Entidade Entidade, Entidade, Entidade and EntidadeAY Entidade emprega Entidade Entidade possui Fisico Entidade e' uma instancia de Humano EntidadeAY e' uma instancia de Transacao Financeira EntidadeAY e' um agente de Entidade Entidade e' um patient de EntidadeAY Entidade autoriza Entidade a executar tarefas de tipo Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Fisico

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