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 10264-10266
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 10262-10262	Breathing is a subclass of autonomic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10261-10261	Breathing is a subclass of organism process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 292-292	Breathing is a biochemical agent delivery of aerosolized bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 281-281	Breathing is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 200-200	Breathing is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 477-477	Breathing is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 523-523	Breathing is a biochemical agent delivery of blood agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1588-1588	Breathing is a biochemical agent delivery of bordetella pertussis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 374-374	Breathing is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	Breathing is a biochemical agent delivery of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	Breathing is a biochemical agent delivery of choking agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1250-1250	Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1207-1207	Breathing is a biochemical agent delivery of francisella tularensis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1927-1927	Breathing is a biochemical agent delivery of junin virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1940-1940	Breathing is a biochemical agent delivery of machupo virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1735-1735	Breathing is a biochemical agent delivery of marburg virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1727-1727	Breathing is a biochemical agent delivery of mycobacterium tuberculosis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	Breathing is a biochemical agent delivery of nerve agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1457-1457	Breathing is a biochemical agent delivery of saxitoxin
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1442-1442	Breathing is a biochemical agent delivery of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1700-1700	Breathing at a more rapid rate is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11300-11300	Exhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11289-11289	Inhaling is a subclass of breathing
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	If an object is an instance of InvasiveVentilator and a process is an instance of breathing and an agent experiences the process and the object is an instrument for the process, then there exists another process such that the other process is an instance of Intubation and the other process ends up at the agent and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11190-11195	If a corpuscular object is capable of doing breathing as a experiencer, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of lung

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	If a process is an instance of asphyxiation and an agent experiences the process, then there doesn't exist an entity such that the entity is an instance of breathing and the process experiences the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity holds during immediately before the time of existence of the process and there exists the other entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity doesn't hold during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	If a transfer is an instance of Intubation and an object is an instance of tube and the object transferred in the transfer is the object and an agent experiences the transfer, then the transfer has the purpose there exists an entity such that the entity is an instance of breathing and the object is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6536-6546	If a process is an instance of strangling and an entity is a patient of the process and the entity is an instance of human, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of breathing and the entity is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	If asthma is an attribute of an agent, then there exists a process such that the process is an instance of impairment in breathing and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5985-5988	If COPD is an attribute of an object, then the object is an instance of impairment in breathing
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1150-1157	If inhalational anthrax is an attribute of an agent, then there exist an entity and a process such that the entity is an instance of bacillus anthracis and the process is an instance of breathing and the agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4161-4178	If sleep apnea is an attribute of an agent and sleeping is an attribute of the agent holds during a time interval, then there exist the time interval2, a process and the process2 such that the time interval2 takes place during the time interval and there doesn't exist the process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval2 and the agent experiences the process and the process2 is an instance of breathing and the agent needs the process2 holds during the time interval2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	If collapsed lung is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of impairment in breathing and the entity is a patient of the process and the time interval takes place during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	If a physical is an instance of nose hose, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of breathing and the other entity is located at the entity and unconscious is an attribute of the entity holds during the time of existence of the other entity and the physical is path along which the other entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18458-18470	If a physical is an instance of suffocating, then there exists an entity such that the entity experiences the physical and there doesn't exist another entity such that the other entity is an instance of breathing and the entity experiences the other entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26890-26899	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16070-16081	If a process is an instance of smoking, then there exist another process, an object,, , a third process and an entity such that the other process is a subprocess of the process and the other process is an instance of burning and the object is a resource for the other process and the object is an instance of cigar or cigarette and the entity is a result of the other process and the entity is a patient of the third process and the third process is an instance of breathing and the third process is a subprocess of the process

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	Breathing difficulty is a subclass of impairment in breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11747-11747	Choking is a subclass of impairment in breathing

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: