Breathing - Sigma 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 10367-10369
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 10365-10365	Breathing is a subclass of autonomic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10364-10364	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 12650-12650	Exhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12639-12639	Inhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1078-1078	Inhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1367-1367	Inhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 756-756	Inhaling is a subclass of breathing

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 4110-4122	If an object is an instance of invasive ventilator 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 6014-6034	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 12540-12545	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 6321-6330	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 758-776	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 4129-4139	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 7493-7503	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 3418-3424	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 6942-6945	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 4167-4184	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 803-812	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 721-731	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 20047-20059	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 28560-28569	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 17478-17489	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 2034-2034	Breathing difficulty is a subclass of impairment in breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13097-13097	Choking is a subclass of impairment in breathing

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: