No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10344-10356	heartRate Heart, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and HeartBeat memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Heart e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4161-4178	SleepApnea e' um atributo de AutonomousAgent Sleeping e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal2 Processo and Processo2 Intervalo Temporal2 acontece durante Intervalo Temporal Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal2 AutonomousAgent experimenta Processo Processo2 e' uma instancia de Respirar AutonomousAgent tem necessidade de Processo2 vale durante Intervalo Temporal2
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1244-1253	Anger e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de AngryFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1262-1271	Disgust e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de DisgustedFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1344-1353	Fear e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de FearfulFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1226-1235	Happiness e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de HappyFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade Entidade e' uma instancia de Percepcao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade e' uma instancia de Humano tempo de existencia de Entidade acontece durante Posicao Temporal causa InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 852-863	InterpersonalDisgust e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Entidade Processo e' uma instancia de Percepcao Entidade e' um patient de Processo AutonomousAgent experimenta Processo Entidade e' uma instancia de Humano Entidade e' igual a AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1325-1334	Sadness e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de SadFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 793-803	SensoryPleasure e' um atributo de Entidade vale durante Intervalo Temporal Fisico Fisico e' uma instancia de Percepcao Intervalo Temporal acontece durante tempo de existencia de Fisico causesProposition Entidade experimenta Fisico and SensoryPleasure e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1100-1110	SexualPleasure e' um atributo de Entidade vale durante Intervalo Temporal Fisico Fisico e' uma instancia de Mating Intervalo Temporal acontece durante tempo de existencia de Fisico causesProposition Fisico e' um agente de Entidade and SexualPleasure e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1281-1290	Surprise e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de SurprisedFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1645-1656	ImpairedBodyPartFn Eardrum e' um atributo de Entidade vale durante Posicao Temporal o argumento EntidadeEAR EntidadeEAR e' uma instancia de Ouvir tempo de existencia de EntidadeEAR acontece durante Posicao Temporal Entidade experimenta EntidadeEAR tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5215-5224	Coma e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	Dizzy e' um atributo de Entidade vale durante Posicao Temporal Entidade acredita que Posicao Temporal2 Posicao Temporal2 acontece durante Posicao Temporal Standing e' um atributo de Entidade vale durante Posicao Temporal2 Entidade Entidade e' uma instancia de Falling Entidade experimenta Entidade Posicao Temporal2 encontra tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4533-4541	Fibromyalgia e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Pain AutonomousAgent experimenta Processo Intervalo Temporal acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5326-5340	Hypersalivation e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Spitting Entidade e' uma instancia de Drooling Entidade e' uma instancia de Nausea tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4783-4793	Narcolepsy e' um atributo de Agente Cognitivo vale durante Intervalo Temporal Processo Processo e' uma instancia de Sleeping Agente Cognitivo experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Agente Cognitivo nao quer %n Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	Pneumothorax e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Processo Intervalo Temporal acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5706-5716	Sinusitis e' um atributo de Objeto vale durante Intervalo Temporal Buraco BuracoH and Processo Buraco e' uma instancia de NasalCavity BuracoH e' igual a o dono do buraco Buraco BuracoH e' uma &parte de Objeto Processo e' uma instancia de Inflammation tempo de existencia de Processo acontece durante Intervalo Temporal BuracoH e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20632-20638	Maid e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' uma instancia de Serving Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and Entidade
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2391-2396	Intervalo Temporal e' uma instancia de ConsumerElectronicsShow Intervalo Temporal Intervalo Temporal e' uma instancia de Janeiro Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 229-237	Intervalo Temporal e' uma instancia de EidAlFitr Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Ramadan Intervalo Temporal e' uma instancia de Ano Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6378-6390	Fisico e' uma instancia de EpiPen Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Injecting Fisico e' um instrumento para Entidade Entidade termina em Entidade Entidade experimenta Entidade Entidade e' uma instancia de Anaphylaxis tempo de existencia de Entidade acontece durante tempo de existencia de Entidade
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