No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21451-21467	Processo e' uma instancia de Vomiting Entidade e' uma instancia de Vomit Entidade e' um patient de Processo AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP controlGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processo e' uma instancia de Processo Experimenting e' uma instancia de Experimenting Processo e' uma instancia de AutonomousAgent AutonomousAgent experimenta Processo experimentalVariableProcess Experimenting and Processo Entidade_GROUP Entidade_GROUP e' uma instancia de Colecao Processo e' membro de Entidade_GROUP treatmentGroup Entidade_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer QualifiedTreatmentsFn Humano e' igual a Colecao
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1602-1610	Processo e' uma instancia de Weeping AutonomousAgent experimenta Processo o argumento Sadness e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16394-16403	Processo e' uma instancia de WakingUp AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal Intervalo Temporal comeca em tempo de existencia de Processo Intervalo Temporal termina em tempo de existencia de Processo Dormindo e' um atributo de AutonomousAgent vale durante Intervalo Temporal Acordado e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 237-245	lifeStageAchieved Processo Biologico and Atributo Desenvolvimental AutonomousAgent experimenta Processo Biologico AutonomousAgent e' uma instancia de Atributo Desenvolvimental vale durante o comeco de tempo de existencia de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 228-235	lifeStageAchieved Processo Biologico and Atributo Desenvolvimental AutonomousAgent experimenta Processo Biologico AutonomousAgent e' uma instancia de Atributo Desenvolvimental vale durante imediatemente apos tempo de existencia de Processo Biologico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto Numero Real Unidade de Medida price Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	paidPropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo Numero Real Unidade de Medida price Processo, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior que 0
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11190-11195	Objeto Corpuscular e' capaz de fazer Respirar no role experiencer Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Lung
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 170-177	AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de IhramClothing AutonomousAgent usa Entidade vale durante tempo de existencia de Processo

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