No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18235	ImpairedBodyPartFn Classe e' um atributo de Objeto vale durante Posicao Temporal ClasseI e' uma instancia de Classe ClasseI e' uma &parte de Objeto ClasseI tem por fim Formula o argumento Formula tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5919-5926	Entidade e' um atributo de Entidade vale durante Intervalo Temporal Entidade e' uma instancia de ChronicDisease a duracao de Intervalo Temporal e' Numero Real Numero Real e' maior que 3 MonthDuration(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	AVPUPainStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Pain tempo de existencia de Processo acontece durante Intervalo Temporal AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Movimento do Corpo AutonomousAgent experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	AVPUVerbalStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Speaking Processo termina em AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Recreacao ou Exercicio Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal o argumento PostExertionalMalaise e' um atributo de AutonomousAgent vale durante Intervalo Temporal2 tempo de existencia de Processo acontence antes de Intervalo Temporal2 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	Booting e' um atributo de Componente de Engenharia vale durante Fisico HostReady e' um atributo de Componente de Engenharia vale durante Fisico2 Fisico2 e' igual a imediatemente apos tempo de existencia de Fisico Componente de Engenharia e' uma instancia de ComputerDisplay Componente de Engenharia e' conectado a Componente de Engenharia o argumento Entidade Entidade e' uma instancia de HomeScreen displayedUpon Entidade and Componente de Engenharia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	AutonomousAgent deseja Dead e' um atributo de Entidade vale durante Intervalo Temporal AutonomousAgentURDER e' uma instancia de Murder AutonomousAgentURDER e' um agente de AutonomousAgent Entidade e' um patient de AutonomousAgentURDER Intervalo Temporal acontence antes de tempo de existencia de AutonomousAgentURDER Premeditated e' um atributo de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4263	Entidade possui Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Entidade possui Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee e' um atributo de Entidade Entidade e' um cidadao de Entidade-NATION vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Processo Objeto Objeto e' uma instancia de Nacao Objeto e' igual a Entidade-NATION Processo e' uma instancia de Translocation Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Entidade-NATION Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	Menopausal e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Real e' igual a (1 YearDuration(s) + o comeco de Intervalo Temporal) Intervalo Temporal e' igual a o intervalo entre Intervalo Temporal e o comeco de Intervalo Temporal Processo Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30662-30683	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.	MilitaryPersons.kif 120-131	Evacuee e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo AutonomousAgent Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	InternallyDisplacedPerson e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal causesProposition fears Entidade and Entidade vale durante Intervalo Temporal and InternallyDisplacedPerson e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 195-201	StatelessPerson e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Nacao Entidade e' um cidadao de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16324-16329	Existe uma relacao legal entre Entidade e Entidade vale durante Posicao Temporal Entidade e' uma instancia de Organismo Entidade e' uma instancia de Organismo relative Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	Entidade e' membro de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Humano Entidade e' uma instancia de GroupOfPeople groupMember Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Livro BookPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de MusicalComposition MusicPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1912-1916	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Newspaper NewspaperPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Periodico PeriodicalPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Texto InformationIndustries e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7982	spouse Entidade and Entidade vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo Processo e' uma instancia de Wedding Entidade e' um patient de Processo Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3836-3843	Formula vale durante Intervalo Temporal Formula vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal causesProposition Formula and Formula o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal
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