Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Breathing

Sigma KEE - Breathing
Breathing(breathing)Cheyne-Stokes_respiration, abdominal_breathing, aspirate, aspiration, blow, blown, breath, breathe, breathe_in, breathe_out, breathing, breathing_in, breathing_out, breathless, breathlessly, catch_one's_breath, choke, chuff, dyspneal, dyspneic, dyspnoeal, dyspnoeic, emanate, eupnea, eupneic, eupnoea, eupnoeic, exhalation, exhale, expiration, expiratory, expire, external_respiration, gag, gasp, give_forth, hack, halitus, heave, heaving, hiccough, hiccup, hold, huff, huffing, hyperpnea, hyperventilate, hyperventilation, hypopnea, inhalant...

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 10156-10158
No TPTP formula. May not be expressible in strict first order. Merge.kif 10154-10154 Breathing is a subclass of autonomic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10153-10153 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 1579-1579 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 1589-1589 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 1242-1242 Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1199-1199 Breathing is a biochemical agent delivery of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1918-1918 Breathing is a biochemical agent delivery of junin virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1931-1931 Breathing is a biochemical agent delivery of machupo virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1726-1726 Breathing is a biochemical agent delivery of marburg virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1718-1718 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 1448-1448 Breathing is a biochemical agent delivery of saxitoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1433-1433 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 10805-10805 Exhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10794-10794 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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10697-10702

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6210-6220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5670-5673
No TPTP formula. May not be expressible in strict first order. WMD.kif 1142-1149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17835-17846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26274-26283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15520-15531

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11233-11233 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