No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21432-21443	Processo e' uma instancia de Nausea Agente Cognitivo experimenta Processo Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Vomiting Agente Cognitivo experimenta Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2735-2747	Processo e' uma instancia de CeliacDisease AutonomousAgent experimenta Processo Objeto e' uma instancia de SmallIntestine Objeto e' uma &parte de AutonomousAgent o argumento Entidade Entidade e' uma instancia de Diarrhoea AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2725-2733	Processo e' uma instancia de CeliacDisease AutonomousAgent experimenta Processo Objeto e' uma instancia de SmallIntestine Objeto e' uma &parte de AutonomousAgent o argumento Processo e' situado em Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	Processo e' uma instancia de HeartPalpitations AutonomousAgent experimenta Processo AutonomousAgentEART e' uma instancia de Heart AutonomousAgentEART e' uma &parte de AutonomousAgent ProcessoER ProcessoER e' uma instancia de Percepcao AutonomousAgent experimenta ProcessoER AutonomousAgentEART e' um patient de ProcessoER
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2072-2080	Processo e' uma instancia de HeartPalpitations AutonomousAgent experimenta Processo AutonomousAgentEART AutonomousAgentEART e' uma instancia de Heart AutonomousAgentEART e' uma &parte de AutonomousAgent Processo e' situado em AutonomousAgentEART
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2695-2704	Processo e' uma instancia de PerniciousAnemia AutonomousAgent experimenta Processo amount VitaminB12, AutonomousAgent and Numero Real Unidade de Medida(s) amount VitaminB12, Objeto Corpuscular and Numero Real Unidade de Medida(s) Healthy e' um atributo de Objeto Corpuscular AutonomousAgent e' igual a Objeto Corpuscular Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1492-1500	Processo e' uma instancia de Perspiring AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Hand Objeto e' uma &parte de AutonomousAgent Processo termina em Objeto
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1505-1515	Processo e' uma instancia de PerspiringWholeBody AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de AutonomousAgent Processo nao %n termina %n em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10394-10402	Processo e' uma instancia de Processo Patologico AutonomousAgent experimenta Processo Objeto Atributo Objeto e' uma &parte de AutonomousAgent Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	Processo e' uma instancia de PublicProgram AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade e' uma instancia de Helping AutonomousAgent experimenta Entidade AutonomousAgent e' uma instancia de Public
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10143-10147	Processo e' uma instancia de Processo Biologico AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6252-6265	Processo e' uma instancia de RecoveringFromIllness AutonomousAgent experimenta Processo Fisico Fisico e' uma instancia de Doenca ou Sindrome Fisico e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Fisico Fisico e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	Processo e' uma instancia de Recreacao ou Exercicio ProcessoM e' um instrumento para Processo ProcessoM e' uma instancia de RowingMachine AutonomousAgent experimenta Processo ProcessoOW e' uma instancia de Rowing ProcessoMOT e' um sub-processo de Processo Classe e' uma sub-classe de Movimento do Corpo ProcessoMOT e' uma instancia de Classe ProcessoOWMOT ProcessoOWMOT e' uma instancia de Classe ProcessoOWMOT e' um sub-processo de Processo ProcessoOWMOT e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 121-127	Entidade e' uma instancia de DeadFn Objeto Organico Processo e' uma instancia de Morte Entidade e' o resultado de Processo AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	Entidade e' uma instancia de Objeto Organico Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	Entidade e' uma instancia de OrganismRemains Processo e' uma instancia de Morte AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de AutonomousAgentTYPE AutonomousAgentTYPE e' uma sub-classe de Objeto Organico Entidade e' o resultado de Processo Entidade e' uma instancia de DeadFn AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17266-17274	Processo e' uma instancia de Returning AutonomousAgent experimenta Processo Processo termina em Entidade Intervalo Temporal Intervalo Temporal acontence antes de tempo de existencia de Processo AutonomousAgent e' situado em Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1690-1697	Processo e' uma instancia de AbsenceSeizure 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.	Medicine.kif 1669-1675	Processo e' uma instancia de FocalSeizure 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.	emotion.kif 1626-1634	Processo e' uma instancia de Laughing 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.	Medicine.kif 1613-1621	Processo e' uma instancia de Seizure AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Brain Objeto e' uma &parte de AutonomousAgent Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5527-5535	Processo e' uma instancia de Sepsis AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4447-4455	Processo e' uma instancia de Septoplasty AutonomousAgent experimenta Processo ProcessoEPT ProcessoEPT e' uma instancia de NasalSeptum ProcessoEPT e' uma &parte de AutonomousAgent ProcessoEPT e' um patient 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