No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	Processo e' uma instancia de AngryVoiceUtterance Processo e' um agente de AutonomousAgent o argumento causesProposition AutonomousAgentNG AutonomousAgentNG e' uma instancia de Anger AutonomousAgent experimenta AutonomousAgentNG and Processo e' uma instancia de AngryVoiceUtterance Processo e' um agente de AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo tem como origem Agente Cognitivo publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validPaymentType PricingScheme and Payment o argumento PaymentMENT PaymentMENT e' uma instancia de Payment PaymentMENT e' um sub-processo de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30803-30814	Entidade e' uma instancia de Carabiner DeviceClosed e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de ClimbingRope Entidade contem Entidade tem a forca modal de Possibility vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	Entidade e' uma instancia de COVIDAntibody Covid19 e' um atributo de Entidade Entidade e' uma &parte de Entidade vale durante Posicao Temporal o argumento Covid19 e' um atributo de Entidade tem a forca modal de Unlikely vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13248-13253	Processo e' uma instancia de Comprometer-se Formula e' um patient de Processo Formula e' uma instancia de Formula o argumento Formula tem a forca modal de Promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(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.	Mid-level-ontology.kif 10024-10045	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(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.	Weather.kif 2596-2604	Processo e' uma instancia de DustStorm Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto o argumento BadAirQuality e' um atributo de Objeto tem a forca modal de Likely vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	Objeto e' uma instancia de Electrocardiogram EKGAbnormal e' um atributo de Objeto Objeto inclui uma referencia a Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Heart o argumento ImpairedBodyPartFn Heart e' um atributo de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	Objeto e' uma instancia de Electrocardiogram EKGNormal e' um atributo de Objeto Objeto inclui uma referencia a Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Heart o argumento ImpairedBodyPartFn Heart e' um atributo de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processo e' uma instancia de Processo Humano e' uma instancia de AutonomousAgent Experimenting e' uma instancia de Experimenting treatedUser Humano and Experimenting experimentalVariableProcess Experimenting and Processo Humano experimenta Processo Humano experimenta Processo exclusiveEvent Experimenting and Processo ExperimentingERIMENTER ExperimentingERIMENTER e' uma instancia de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER acredita que o argumento Processo causa Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1594-1604	Processo e' uma instancia de Flooding Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de tempo de existencia de Processo o argumento Objeto e' uma instancia de SubmergedLandArea vale durante Ponto no tempo tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2586-2594	Processo e' uma instancia de AtmosphericHazing Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto o argumento BadAirQuality e' um atributo de Objeto tem a forca modal de Likely vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	Processo e' uma instancia de Impactar Entidade e' um patient de Processo ImpairedBodyPartFn Brain e' um atributo de Entidade vale durante imediatemente apos Processo o argumento Concussion e' um atributo de Entidade vale durante imediatemente apos Processo tem a forca modal de Likely
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.	WMD.kif 1545-1554	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC sideEffect ObjetoC and ObjetoIS o argumento ObjetoIS e' um atributo de AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9773-9794	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de MoodStabilizer Processo e' uma instancia de ProcessoC involvedInEvent Processo and AutonomousAgent ProcessoS e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo ProcessoS e' uma instancia de Estado Emocional Processo2 e' uma instancia de ProcessoC involvedInEvent Processo2 and AutonomousAgent tempo de existencia de Processo2 acontence antes de tempo de existencia de Transferencia o argumento ProcessoS e' um atributo de AutonomousAgent vale durante Processo2 tem a forca modal de Unlikely
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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5490-5500	Objeto e' uma instancia de Intestine Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto o argumento Entidade Entidade e' uma instancia de EscherichiaColi Objeto contem Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	Objeto e' uma instancia de LeafSpring Objeto e' uma &parte de Objeto Objeto e' uma instancia de RoadVehicle o argumento Objeto2 Objeto2 e' uma instancia de LeafSpring Objeto2 e' uma &parte de Objeto Objeto e' igual a Objeto2 Objeto encontra Objeto2 tem a forca modal de Likely
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.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
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