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 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 Breathing is a subclass of autonomic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10239-10239 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 11301-11301 Exhaling is a subclass of breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11290-11290 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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5997-6017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11191-11196

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6304-6313
No TPTP formula. May not be expressible in strict first order. Medicine.kif 767-785
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4123-4133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6537-6547
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3417-3423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5986-5989
No TPTP formula. May not be expressible in strict first order. WMD.kif 1150-1157
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4161-4178
No TPTP formula. May not be expressible in strict first order. Medicine.kif 812-821
No TPTP formula. May not be expressible in strict first order. Medicine.kif 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18459-18471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26902-26911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16071-16082

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 11748-11748 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