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.	emotion.kif 1614-1622	Processo e' uma instancia de Smiling AutonomousAgent experimenta Processo o argumento Happiness 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 11004-11014	Processo e' uma instancia de Sunburn AutonomousAgent experimenta Processo Processo ProcessoKIN Processo e' uma instancia de Causar Dano Sol e' um instrumento para Processo ProcessoKIN e' uma instancia de Skin ProcessoKIN e' uma &parte de AutonomousAgent ProcessoKIN e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11022-11032	Processo e' uma instancia de Tanning AutonomousAgent experimenta Processo Processo ProcessoKIN Processo e' uma instancia de RadiatingUltraviolet Sol e' um instrumento para Processo ProcessoKIN e' uma instancia de Skin ProcessoKIN e' uma &parte de AutonomousAgent ProcessoKIN e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1639-1646	Processo e' uma instancia de TonicClonicSeizure AutonomousAgent experimenta Processo Conscious e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
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.	Mid-level-ontology.kif 6566-6576	Transferencia e' uma instancia de Drooling AutonomousAgent experimenta Transferencia Objeto Objeto Objeto e' uma instancia de Mouth objectTransferred Transferencia and Objeto Objeto e' uma instancia de Saliva Objeto e' uma &parte de AutonomousAgent Transferencia tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2418-2423	Processo e' uma instancia de AutoimmuneVasculitis AutonomousAgent experimenta Processo ImpairedBodyPartFn BloodVessel e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2425-2434	Processo e' uma instancia de AutoimmuneVasculitis AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de BloodVessel Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Inflammation Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2406-2411	Processo e' uma instancia de MyastheniaGravis AutonomousAgent experimenta Processo ImpairedBodyPartFn NerveCell e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2359-2367	Processo e' uma instancia de SjogrensSyndrome AutonomousAgent experimenta Processo ImpairedBodyPartFn SalivaryGland e' um atributo de AutonomousAgent ImpairedBodyPartFn TearGland e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	Processo e' uma instancia de StayingStill AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Translocation Processo causa Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	Processo e' uma instancia de Bradycardia AutonomousAgent experimenta Processo Heart e' uma instancia de Heart Heart e' uma &parte de AutonomousAgent Intervalo Temporal e' uma instancia de Minuto heartRate Heart, Intervalo Temporal and Numero Inteiro 50 e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	Processo e' uma instancia de Tachycardia AutonomousAgent experimenta Processo Heart e' uma instancia de Heart Heart e' uma &parte de AutonomousAgent Intervalo Temporal e' uma instancia de Minuto heartRate Heart, Intervalo Temporal and Numero Inteiro Numero Inteiro e' maior que 100
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5931-5944	Processo e' uma instancia de TakingIll AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Doenca ou Sindrome Entidade e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1551-1558	Processo e' uma instancia de TemperatureFallingExperiencedAsFeelingCold Processo e' situado em Objeto AutonomousAgent experimenta Processo AutonomousAgent acredita que ColdTemperature e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1569-1576	Processo e' uma instancia de TemperatureRisingExperiencedAsFeelingWarm Processo e' situado em Objeto AutonomousAgent experimenta Processo AutonomousAgent acredita que WarmTemperature e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16947-16960	Processo e' uma instancia de TransferringPosition AutonomousAgent experimenta Processo Entidade Entidade and Entidade AutonomousAgent ocupa a posicao de Entidade Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent ocupa a posicao de Entidade Entidade vale durante o fim de tempo de existencia de Processo Entidade e' igual a Entidade
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.	Biography.kif 250-264	ContentBearingPhysical e' uma instancia de BirthCertificate Processo e' uma instancia de Nascimento AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and Entidade Entidade and Entidade birthdate AutonomousAgent and Entidade Entidade e' uma instancia de Dia birthplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	Processo e' uma instancia de Vaccination AutonomousAgent experimenta Processo ProcessoAC ProcessoAC e' uma instancia de Vaccine vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21412-21426	Processo e' uma instancia de Vomiting AutonomousAgent experimenta Processo Objeto Entidade 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
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