No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processo e' uma instancia de Morte Entidade e' uma instancia de OrganismRemains AutonomousAgent e' uma instancia de Organismo Entidade e' uma &parte de Entidade vale durante Intervalo Temporal Entidade e' uma &parte de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' o resultado de Processo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16513-16521	Objeto e' uma instancia de AcademicDegree AutonomousAgent possui Objeto Proposicao Processo Proposicao e' uma instancia de EducationalProgram Processo exprime o conteudo de Proposicao AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	Atributo e' uma instancia de LifeThreateningDisease Atributo e' um atributo de Objeto Objeto e' capaz de fazer Morte no role experiencer
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2000-2008	Processo e' uma instancia de DisgustedVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Disgust AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	Processo e' uma instancia de Epidemic involvedInEvent Processo and AutonomousAgent Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Processo Processo e' uma instancia de Processo Patologico AutonomousAgent experimenta Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao AutonomousAgent experimenta Processo Processo ProcessoA Processo e' uma instancia de Classificar Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao Processo tem como origem Objeto Processo ProcessoA Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo Processo tem como origem Objeto ProcessoA experimenta Processo Processo e' um agente de ProcessoA ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processo e' uma instancia de Evacuation AutonomousAgent experimenta Processo Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Processo Terapeutico Processo e' um sub-processo de Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting e' uma instancia de Experimenting Humano e' uma instancia de Humano experimentalSubject Experimenting and Humano Processo Processo e' uma instancia de Processo Humano experimenta Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7230-7239	Processo e' uma instancia de Scholarship Processo termina em Entidade Processo tem por fim Entidade Entidade Entidade e' uma instancia de EducationalProgram Entidade exprime o conteudo de Entidade Entidade experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1960-1975	Processo e' uma instancia de ForeignInternalDefense Processo e' um agente de AutonomousAgent AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade Entidade e' uma instancia de Aprender Entidade experimenta Entidade Entidade e' um agente de AutonomousAgent militaryOfArea Entidade and AutonomousAgent Entidade e' uma instancia de MilitaryForce Entidade e' situado em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1943-1955	Processo e' uma instancia de ForeignInternalDefense Processo e' um agente de MilitaryOrganization militaryOfArea MilitaryOrganization and Area Geopolitica AutonomousAgent Processo AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de HostNation AutonomousAgent e' igual a Area Geopolitica Processo e' uma instancia de Preservar Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2065-2073	Processo e' uma instancia de FearfulVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Fear AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	Processo e' uma instancia de Hallucination AutonomousAgent experimenta Processo AutonomousAgentER AutonomousAgentROP AutonomousAgentER e' uma instancia de Percepcao AutonomousAgent experimenta AutonomousAgentER Processo causa AutonomousAgentER AutonomousAgentER contem informacao AutonomousAgentROP truth AutonomousAgentROP and False
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent e' uma instancia de Man Mausaharati e' um atributo de AutonomousAgent Processo e' uma instancia de Drumming Processo e' um agente de AutonomousAgent ProcessoAY e' uma instancia de Dia Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal acontece durante ProcessoAY tempo de existencia de Processo acontence antes de Intervalo Temporal Processo tem por fim Entidade Intervalo TemporalUHUR and Entidade Entidade e' uma instancia de WakingUp Entidade experimenta Entidade Intervalo TemporalUHUR e' uma instancia de Suhur Intervalo TemporalUHUR e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de Intervalo TemporalUHUR tempo de existencia de Entidade acontece durante ProcessoAY tempo de existencia de Intervalo TemporalUHUR acontece durante ProcessoAY
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1419-1431	Processo e' uma instancia de Helping Processo e' um agente de AutonomousAgent Fisico e' o resultado de Processo Agente Cognitivo AutonomousAgent e' igual a Agente Cognitivo Agente Cognitivo e' um patient de Processo Agente Cognitivo experimenta Processo Agente Cognitivo quer Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1983-1991	Processo e' uma instancia de HappyVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Happiness AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	Agente Cognitivo e' uma instancia de HealthInsuranceCompany customer Agente Cognitivo and AutonomousAgent Agente Cognitivo tem finalidade Entidade Entidade Entidade e' uma instancia de Processo de Diagnostico Entidade e' uma instancia de Processo Terapeutico AutonomousAgent experimenta Entidade Entidade e' uma instancia de Payment Entidade e' um agente de Agente Cognitivo Entidade inclui uma referencia a Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5838	Atributo e' uma instancia de InfectiousDisease Atributo e' um atributo de AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Processo Patologico Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Microorganismo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC pathologicSideEffect ObjetoC and ObjetoIS o argumento Entidade Entidade e' uma instancia de ObjetoIS Entidade experimenta AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	Transferencia e' uma instancia de Ingerir objectTransferred Transferencia and Objeto Objeto e' uma instancia de Hallucinogen Transferencia termina em Entidade o argumento ObjetoAL ObjetoAL e' uma instancia de Hallucination Entidade experimenta ObjetoAL tem a forca modal de Likely
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