TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11187-11188
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11186	Lung est une sous-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11185-11185	Lung est une sous-classe de VitalOrgan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12091	connectedBodyPart Trachea and Lung
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35321-35321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35320-35320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35319-35319

appearance as argument number 3

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

Mid-level-ontology.kif 10376-10376

Le nombre 1 argument de breathingRate est une instance de Lung

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processus est une instance de CheckingVitals processus est un agent de agent cognitif objet est un patient de processus Heart est une instance de Heart Heart est une partie de objet Lung est une instance de Lung Lung est une partie de objet systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier agent cognitif conna�t systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processus est une instance de MeasuringBreathing processus est un agent de AutonomousAgent objet est une instance de Lung objet est une partie de objet interval temporel est une instance de interval temporel interval temporel prend place pendant temps d'existence de processus la dur�� de interval temporel est MinuteDuration objet est un patient de processus entit� AutonomousAgent conna�t breathingRate objet, interval temporel and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	restingBreathingRate mammif�re and nombre entier objet est une instance de Lung objet est une partie de mammif�re interval temporel nombre entierEC nombre entierEC est une instance de r�cr�ation ou exercice nombre entierEC est un agent de mammif�re interval temporel prend place pendant temps d'existence de nombre entierEC interval temporel est une instance de minute breathingRate mammif�re, interval temporel and nombre entier

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11140-11150	Objet est une instance de PulmonaryArtery processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang entit� entit� est une instance de Lung processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	Processus est une instance de Choking AutonomousAgent exp�rimente processus entit� objet and objet entit� est une instance de objet objet est une instance de Trachea objet est une instance de Lung objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent entit� est situ� � objet entit� est situ� � objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	Objet est une instance de primate attribut est une instance de maladie ou syndrome attribut est un attribut de objet objet objet objet est une instance de Lung objet est une instance de Lung objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11246-11261	Objet en une partie est une instance de RibCage objet en une partie est une partie de objet objet est une instance de humain Living est un attribut de objet ~{ physique est une instance de processus pathologique } ~{ physique est situ� � objet } objetT objet objetT est une instance de Heart objetT est une instance de Lung objet en une partie contient objet objet en une partie contient objetT
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transf�re est une instance de Thoracentesis objet est un patient de transf�re transf�re objet, transf�reN, objet, objet and objet transf�re est une instance de Inserting transf�re est un sous-processus de transf�re objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reN objet est une instance de Needle Fluid est un attribut de objet objectTransferred transf�re and objet objet aboutit � objet objet est une instance de Lung objet est une instance de Chest objet est une partie de objet objet est une partie de objet transf�re a pour origine transf�reN transf�re aboutit � objet transf�reN est entre objet et objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	Objet est une instance de PulmonaryVein processus est une instance de transf�re entit� est un patient de processus objet est un instrument pour processus entit� est une instance de sang objet objet and objet objet est une instance de Lung processus a pour origine objet objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est une instance de Heart processus aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objet est une instance de VentedChestSeal transf�re est une instance de attacher objectTransferred transf�re and objet transf�re aboutit � entit� objet a pour but transf�re entit�, entit� and entit� transf�re est une instance de Air entit� est une instance de Lung entit� est une instance de Chest entit� est une partie de entit� entit� est une partie de entit� transf�re est entre entit� et entit� pendant immediatement avant temps d'existence de transf�re objet a pour but transf�re est Outside � entit� pendant immediatement apr�s temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6206-6212	Pneumonia est un attribut de AutonomousAgent processus processus est une instance de InflammationFn Lung AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	Pulmonologist est un attribut de objet processus processus, objet and objet classe est une sous-classe de processus de diagnostique classe est une sous-classe de processus therapeutique objet est un patient de processus objet est un patient de processus objet est une instance de Lung objet est une partie de objet processus est situ� � Lung processus est situ� � Lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11190-11195	Objet corpusculaire est capable de faire respirer dans le r�le experiencer objet corpusculaire objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de Lung
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	Pneumothorax est un attribut de entit� pendant position temporel entit� entit� est une instance de Air entit� est une instance de Lung entit� est une instance de Chest entit� est une partie de entit� entit� est une partie de entit� entit� est entre entit� et entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11095-11100	Physique est une instance de Alveolus objet objet est une instance de Lung physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11069-11074	Physique est une instance de BronchialDuct objet objet est une instance de Lung physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11304-11309	Processus est une instance de Exhaling objet objet est une instance de Lung processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11293-11298	Processus est une instance de Inhaling entit� entit� est une instance de Lung processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3075-3080	Objet est une instance de LungEpithelium objet objet est une instance de Lung objet rencontre objet

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2894-2894	LeftLung est une sous-classe de BodySideFn Left and Lung
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2897-2897	RightLung est une sous-classe de BodySideFn Right and Lung

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: