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