Healthy - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30306-30306
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30305-30305	Healthy e' uma instancia de Atributo Biologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64974-64974

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	Healthy e' um atributo de Mamifero restingBreathingRate Mamifero and Numero Inteiro Numero Inteiro e' maior ou igual a 12 16 e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11994-12004	connectedBodyPart Parte do Corpo and Parte do Corpo Healthy e' um atributo de Objeto Parte do CorpoI Parte do CorpoI Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma instancia de Parte do Corpo Parte do CorpoI e' uma &parte de Objeto Parte do CorpoI e' uma &parte de Objeto Parte do CorpoI e' conectado com Parte do CorpoI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Musculo Objeto e' uma instancia de Nerve Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto Objeto e' uma instancia de Humano Objeto tem por fim ObjetoF Entidade ObjetoF e' uma instancia de NerveFiring Objeto e' um instrumento para ObjetoF Musculo e' uma instancia de MuscleContraction Objeto e' um instrumento para ObjetoV ObjetoF causa Musculo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15025-15036	Objeto e' uma instancia de Animal Objeto e' uma instancia de BodySideFn AntiSymmetricPositionalAttribute and Parte do Corpo AntiSymmetricPositionalAttribute e' &o oposto de AntiSymmetricPositionalAttributeO Healthy e' um atributo de Objeto ObjetoO ObjetoO e' uma instancia de BodySideFn AntiSymmetricPositionalAttributeO and Parte do Corpo Objeto e' AntiSymmetricPositionalAttribute em relacao a ObjetoO
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	Objeto e' uma instancia de Eardrum Objeto e' uma &parte de AutonomousAgent AutonomousAgent experimenta AutonomousAgentEAR Healthy e' um atributo de AutonomousAgent AutonomousAgentEAR e' uma instancia de Ouvir Objeto e' um instrumento para AutonomousAgentEAR
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	Colecao e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Colecao e' uma &parte de Objeto Fisico e' membro de Colecao ObjetoAIR ObjetoAIR e' uma instancia de Hair ObjetoAIR e' uma &parte de Colecao
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	Colecao e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Colecao e' uma &parte de Objeto Fisico e' membro de Colecao memberCount Colecao and 2
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	Objeto e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto ObjetoYE e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	Objeto e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Standing e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto Objeto e' Above em relacao a ObjetoYE
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1576-1583	Objeto e' uma instancia de AuditoryCanal Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto o diametro de Objeto e' Numero Real Millimeter(s) approximateValue Numero Real and 0.7
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1567-1574	Objeto e' uma instancia de AuditoryCanal Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto o comprimento de Objeto e' Numero Real Centimeter(s) approximateValue Numero Real and 2.5
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1526-1533	Objeto e' uma instancia de EustachianTube Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto o diametro de Objeto e' Numero Real Millimeter(s) approximateValue Numero Real and 3.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1517-1524	Objeto e' uma instancia de EustachianTube Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto o comprimento de Objeto e' Numero Real Centimeter(s) approximateValue Numero Real and 35.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	Objeto e' uma instancia de Forehead Healthy e' um atributo de Objeto Standing e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto Objeto e' Above em relacao a ObjetoYE
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	Processo e' uma instancia de GravesDisease AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Humano Objeto e' uma instancia de ThyroidHormone Objeto e' uma &parte de AutonomousAgent a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Humano Objeto e' uma instancia de ThyroidHormone Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Healthy e' um atributo de Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	Processo e' uma instancia de HashimotosThyroiditis AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Humano Objeto e' uma instancia de ThyroidHormone Objeto e' uma &parte de AutonomousAgent a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Humano Objeto e' uma instancia de ThyroidHormone Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Healthy e' um atributo de Objeto Numero Real e' maior que Numero Real
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.	Mid-level-ontology.kif 11514-11524	Objeto e' uma instancia de Vertebrado Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto Colecao Objeto Colecao e' uma instancia de Skull Objeto e' membro de Colecao Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11526-11535	Objeto e' uma instancia de Vertebrado Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto Colecao e' uma instancia de Skull Healthy e' um atributo de Objeto Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1745-1756	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano Healthy e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto conecta Objeto e
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1695-1706	muscleOrigin Musculo and Parte do Corpo Objeto e' uma instancia de Humano Healthy e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto conecta Objeto e
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30308-30314	Healthy e' um atributo de Objeto Atributo Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 367-385

breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12
Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: