TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11364-11364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 496-496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 112-112
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11366-11366
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23750-23750	initiallyContainsPart Heart and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11365-11365	Heart e' feito de InvoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11363-11363	Heart e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11362-11362	Heart e' uma sub-classe de VitalOrgan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27774-27774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27773-27773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27772-27772

appearance as argument number 3

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

Mid-level-ontology.kif 10362-10362

O argumento numero 1 de heartRate e' uma instancia de Heart

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processo e' uma instancia de CheckingVitals Processo e' um agente de Agente Cognitivo Objeto e' um patient de Processo Heart e' uma instancia de Heart Heart e' uma &parte de Objeto Lung e' uma instancia de Lung Lung e' uma &parte de Objeto systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro Agente Cognitivo sabe systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro
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.	Mid-level-ontology.kif 11395-11412	Fisico e' uma instancia de HeartAttack Objeto e' uma instancia de Heart Fisico e' situado em Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10755-10767	Processo e' uma instancia de HeartBeat Entidade e' um patient de Processo Entidade e' uma instancia de Heart Processo Processo Processo e' uma instancia de MuscularContraction Entidade e' um patient de Processo Processo e' uma instancia de MuscleRelaxing Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
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 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.	Medicine.kif 122-136	restingHeartRate Mamifero and Numero Inteiro MamiferoEART e' uma instancia de Heart MamiferoEART e' uma &parte de Mamifero Intervalo Temporal Numero InteiroEC Numero InteiroEC e' uma instancia de Recreacao ou Exercicio Numero InteiroEC e' um agente de Mamifero Intervalo Temporal acontece durante tempo de existencia de Numero InteiroEC Intervalo Temporal e' uma instancia de Minuto heartRate Mamifero, Intervalo Temporal and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10769-10778	Fisico e' uma instancia de Heart Fisico tem por fim Entidade FisicoB and Entidade FisicoB e' uma instancia de HeartBeat Entidade e' uma instancia de LiquidMotion Entidade e' uma instancia de Sangue moves Entidade and Entidade FisicoB causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11375	Objeto e' uma instancia de Heart Processo Entidade Processo e' uma instancia de Transferencia Entidade e' uma instancia de Sangue Objeto e' um instrumento para Processo Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11135-11145	Objeto e' uma instancia de Artery Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Objeto Objeto e' uma instancia de Heart Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	Processo e' uma instancia de Electrocardiography Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent MedicalDoctor e' um atributo de AutonomousAgent Processo tem por fim AutonomousAgent sabe Entidade truth ImpairedBodyPartFn Heart e' um atributo de Entidade and Entidade
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.	Medicine.kif 275-283	Buraco e' uma instancia de LeftAtrium Buraco e' uma &parte de Objeto Objeto ObjetoEART ObjetoEART e' igual a o dono do buraco Buraco ObjetoEART e' uma &parte de Objeto ObjetoEART e' uma instancia de Heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 291-299	Buraco e' uma instancia de LeftVentricle Buraco e' uma &parte de Objeto Objeto ObjetoEART ObjetoEART e' igual a o dono do buraco Buraco ObjetoEART e' uma &parte de Objeto ObjetoEART e' uma instancia de Heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 307-315	Buraco e' uma instancia de RightAtrium Buraco e' uma &parte de Objeto Objeto ObjetoEART ObjetoEART e' igual a o dono do buraco Buraco ObjetoEART e' uma &parte de Objeto ObjetoEART e' uma instancia de Heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 323-331	Buraco e' uma instancia de RightVentricle Buraco e' uma &parte de Objeto Objeto ObjetoEART ObjetoEART e' igual a o dono do buraco Buraco ObjetoEART e' uma &parte de Objeto ObjetoEART e' uma instancia de Heart
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.	Mid-level-ontology.kif 11274-11289	Objeto auto-conectado e' uma instancia de RibCage Objeto auto-conectado e' uma &parte de Objeto Objeto e' uma instancia de Humano Living e' um atributo de Objeto ~{ Fisico e' uma instancia de Processo Patologico } ~{ Fisico e' situado em Objeto } ObjetoT Objeto ObjetoT e' uma instancia de Heart ObjetoT e' uma instancia de Lung Objeto auto-conectado contem Objeto Objeto auto-conectado contem ObjetoT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11184-11199	Objeto e' uma instancia de PulmonaryVein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Objeto Objeto and Objeto Objeto e' uma instancia de Lung Processo tem como origem Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Heart Processo termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11152-11162	Objeto e' uma instancia de Vein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Entidade Entidade e' uma instancia de Heart Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5732-5736	HeartDisease e' um atributo de Objeto ImpairedBodyPartFn Heart e' um atributo de Objeto ImpairedBodyPartFn BloodVessel e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10748-10753	Processo e' uma instancia de HeartBeat Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Heart
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1682-1687	Processo e' uma instancia de HeartBeatingAtFasterRate Entidade Entidade e' uma instancia de Heart Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10447-10452	Fisico e' uma instancia de HeartMuscle Objeto Objeto e' uma instancia de Heart Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11429-11435	Fisico e' uma instancia de Pericardium Fisico tem por fim Entidade Entidade e' uma instancia de Heart Fisico contem Entidade

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

Show without tree

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: