TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2906-2907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10242-10244
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1655-1656
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10240-10240	Respirer est une sous-classe de AutonomicProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10239-10239	Respirer est une sous-classe de fonction physiologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 292-292	biochemicalAgentDelivery AerosolizedBacillusAnthracis and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 281-281	biochemicalAgentDelivery BacillusAnthracis and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 200-200	biochemicalAgentDelivery BacterialAgent and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 477-477	biochemicalAgentDelivery BlisterAgent and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 523-523	biochemicalAgentDelivery BloodAgent and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1588-1588	biochemicalAgentDelivery BordetellaPertussis and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 374-374	biochemicalAgentDelivery BurkholderiaPseudomallei and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	biochemicalAgentDelivery ChlamydiaPsittaci and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	biochemicalAgentDelivery ChokingAgent and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1250-1250	biochemicalAgentDelivery CoxiellaBurnetii and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1207-1207	biochemicalAgentDelivery FrancisellaTularensis and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1927-1927	biochemicalAgentDelivery JuninVirus and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1940-1940	biochemicalAgentDelivery MachupoVirus and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1735-1735	biochemicalAgentDelivery MarburgVirus and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1727-1727	biochemicalAgentDelivery MycobacteriumTuberculosis and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	biochemicalAgentDelivery NerveAgent and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1457-1457	biochemicalAgentDelivery Saxitoxin and respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1442-1442	biochemicalAgentDelivery StaphylococcalEnterotoxinB and respirer
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1700-1700	BreathingAtAMoreRapidRate est une sous-classe de respirer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11301-11301	Exhaling est une sous-classe de respirer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11290-11290	Inhaling est une sous-classe de respirer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1078-1078
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1367-1367
No TPTP formula. May not be expressible in strict first order.	french_format.kif 756-756

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4105-4117	Objet est une instance de InvasiveVentilator processus est une instance de respirer AutonomousAgent exp�rimente processus objet est un instrument pour processus processus processus est une instance de Intubation processus aboutit � AutonomousAgent temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Interval temporel est une instance de TimePeriod la dur�� de interval temporel est nombre r�el MinuteDuration(s) nombre r�el est plus grand que 5.0 entit� est une instance de humain processus processus est une instance de respirer temps d'existence de processus prend place pendant interval temporel entit� est un patient de processus l'argument entit� entit� est une instance de mort entit� exp�rimente entit� interval temporel rencontre temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11191-11196	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

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processus est une instance de Asphyxiation AutonomousAgent exp�rimente processus entit� entit� est une instance de respirer processus exp�rimente entit� pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	Processus est une instance de Cricothyroidotomy entit� est un patient de processus processus a pour but entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement avant temps d'existence de processus entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	Transf�re est une instance de Intubation objet est une instance de Tube objectTransferred transf�re and objet AutonomousAgent exp�rimente transf�re transf�re a pour but entit� entit� est une instance de respirer objet est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6537-6547	Processus est une instance de Strangling entit� est un patient de processus entit� est une instance de humain processus a pour but entit� entit� est une instance de respirer entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	Asthma est un attribut de AutonomousAgent processus processus est une instance de ImpairmentFn respirer AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5986-5989	ChronicObstructivePulmonaryDisease est un attribut de objet objet est une instance de ImpairmentFn respirer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1150-1157	InhalationalAnthrax est un attribut de AutonomousAgent entit� processus entit� est une instance de BacillusAnthracis processus est une instance de respirer processus est un agent de AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4161-4178	SleepApnea est un attribut de AutonomousAgent Sleeping est un attribut de AutonomousAgent pendant interval temporel interval temporel2 processus and processus2 interval temporel2 prend place pendant interval temporel processus processus est une instance de respirer temps d'existence de processus prend place pendant interval temporel2 AutonomousAgent exp�rimente processus processus2 est une instance de respirer AutonomousAgent a besoin de processus2 pendant interval temporel2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	Pneumothorax est un attribut de entit� pendant interval temporel processus processus est une instance de ImpairmentFn respirer entit� est un patient de processus interval temporel prend place pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	Physique est une instance de NasopharyngealAirway physique a pour but entit� entit� entit� est une instance de respirer entit� est situ� � entit� inconscient est un attribut de entit� pendant temps d'existence de entit� physique est le chemin le long duquel entit� se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18459-18471	Physique est une instance de Suffocating entit� entit� exp�rimente physique entit� entit� est une instance de respirer entit� exp�rimente entit� pendant la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26902-26911	Objet est une instance de ScubaDiving objet objet and processus objet est une instance de plan d'eau objet est Below � objet objet est une instance de appareil processus est une instance de respirer objet est un instrument pour processus processus est un sous-processus de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16071-16082	Processus est une instance de Smoking processus objet, processus and entit� processus est un sous-processus de processus processus est une instance de combustion objet est une resource pour processus objet est une instance de CigarOrCigarette entit� est le resultat de processus entit� est un patient de processus processus est une instance de respirer processus est un sous-processus de processus

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	BreathingDifficulty est une sous-classe de ImpairmentFn respirer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11748-11748	Choking est une sous-classe de ImpairmentFn respirer

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: