No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16446-16458	Processo e' uma instancia de Insomnia Agente Cognitivo experimenta Processo Processo Duracao Temporal and Duracao Temporal2 Processo e' uma instancia de Sleeping Agente Cognitivo experimenta Processo a duracao de tempo de existencia de Processo e' Duracao Temporal Agente Cognitivo deseja a duracao de tempo de existencia de Processo e' Duracao Temporal2 Duracao Temporal2 e' maior que Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18620-18638	Processo e' uma instancia de Inheriting Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12335-12343	Processo e' uma instancia de Matar AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2265-2274	Processo e' uma instancia de Lupus AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de SkinRash AutonomousAgent experimenta Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1464-1473	Intervalo Temporal e' uma instancia de MusclesRelaxing AutonomousAgent experimenta Intervalo Temporal Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal e' uma instancia de MusclesBecomingTense AutonomousAgent experimenta Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1450-1459	Intervalo Temporal e' uma instancia de MusclesBecomingTense AutonomousAgent experimenta Intervalo Temporal Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal e' uma instancia de MusclesRelaxing AutonomousAgent experimenta Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21431-21442	Processo e' uma instancia de Nausea Agente Cognitivo experimenta Processo Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Vomiting Agente Cognitivo experimenta Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2735-2747	Processo e' uma instancia de CeliacDisease AutonomousAgent experimenta Processo Objeto e' uma instancia de SmallIntestine Objeto e' uma &parte de AutonomousAgent o argumento Entidade Entidade e' uma instancia de Diarrhoea AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	Processo e' uma instancia de HeartPalpitations AutonomousAgent experimenta Processo AutonomousAgentEART e' uma instancia de Heart AutonomousAgentEART e' uma &parte de AutonomousAgent ProcessoER ProcessoER e' uma instancia de Percepcao AutonomousAgent experimenta ProcessoER AutonomousAgentEART e' um patient de ProcessoER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8599-8609	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	Processo e' uma instancia de PublicProgram AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade e' uma instancia de Helping AutonomousAgent experimenta Entidade AutonomousAgent e' uma instancia de Public
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5527-5535	Processo e' uma instancia de Sepsis AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5748-5758	Processo e' uma instancia de SkinRash AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de Itching AutonomousAgent experimenta Entidade tempo de existencia de Entidade acontece durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1293-1303	Processo e' uma instancia de SupportHNAssistance AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de HostNation Processo Processo e' uma instancia de MilitaryOperation Processo e' uma instancia de Helping AutonomousAgent experimenta Processo Processo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13516-13526	Processo e' uma instancia de SenseImpairmentFn Percepcao AutonomousAgent experimenta Processo AutonomousAgent2 AutonomousAgent2 e' igual a AutonomousAgent AutonomousAgent2 e' capaz de fazer Percepcao no role experiencer AutonomousAgent e' capaz de fazer Percepcao no role experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13536-13541	Processo e' uma instancia de SenseImpairmentFn Percepcao AutonomousAgent experimenta Processo AutonomousAgent e' capaz de fazer Percepcao no role experiencer
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1967-1975	Processo e' uma instancia de SadVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Sadness AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1928-1936	Processo e' uma instancia de SurprisedVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Surprise AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	AutonomousAgent e' uma instancia de Ticket AutonomousAgent possui Objeto issuedBy AutonomousAgent and Agente Cognitivo AmusementGamblingAndRecreationIndustries e' um atributo de Agente Cognitivo Agente Cognitivo e' situado em Objeto confersNorm Agente Cognitivo, Entidade Entidade e' uma instancia de Recreacao ou Exercicio Objeto experimenta Entidade eventLocated Entidade and Objeto and Permission
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Intervalo Temporal e' uma instancia de TimePeriod a duracao de Intervalo Temporal e' Numero Real MinuteDuration(s) Numero Real e' maior que 5.0 Entidade e' uma instancia de Humano Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal Entidade e' um patient de Processo o argumento Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade Intervalo Temporal encontra tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	Processo e' uma instancia de Translocation Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo tem como origem Objeto Processo termina em Objeto Processo termina em Entidade AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo tempo de existencia de Processo comeca em tempo de existencia de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16541-16553	issuedBy Certificado and Agente Cognitivo Certificado e' uma instancia de Ticket AutonomousAgent possui Certificado confersNorm Agente Cognitivo, Entidade Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Agente Cognitivo AutonomousAgent experimenta Entidade vale durante Entidade and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	reservedPackage Reservation and Proposicao reservingEntity Reservation and Reservation o argumento Entidade Entidade exprime o conteudo de Proposicao Reservation experimenta Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	vaccine Vaccine and Virus Transferencia e' uma instancia de Vaccination AutonomousAgent experimenta Transferencia VaccineI e' uma instancia de Vaccine objectTransferred Transferencia and VaccineI VaccineI tem por fim Entidade VirusI Entidade e' uma instancia de Infecting AutonomousAgent experimenta Entidade VirusI e' uma instancia de Virus objectTransferred Entidade and VirusI
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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