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 10278-10280 | |
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 10276-10276 | Respirer est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10275-10275 | Respirer est une sous-classe de fonction physiologique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 292-292 | biochemicalAgentDelivery AerosolizedBacillusAnthracis and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 281-281 | biochemicalAgentDelivery BacillusAnthracis and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | biochemicalAgentDelivery BacterialAgent and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 477-477 | biochemicalAgentDelivery BlisterAgent and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 523-523 | biochemicalAgentDelivery BloodAgent and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1588-1588 | biochemicalAgentDelivery BordetellaPertussis and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 374-374 | biochemicalAgentDelivery BurkholderiaPseudomallei and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1598 | biochemicalAgentDelivery ChlamydiaPsittaci and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 603-603 | biochemicalAgentDelivery ChokingAgent and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1250-1250 | biochemicalAgentDelivery CoxiellaBurnetii and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1207-1207 | biochemicalAgentDelivery FrancisellaTularensis and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1927-1927 | biochemicalAgentDelivery JuninVirus and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1940-1940 | biochemicalAgentDelivery MachupoVirus and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1735-1735 | biochemicalAgentDelivery MarburgVirus and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1727-1727 | biochemicalAgentDelivery MycobacteriumTuberculosis and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 559-559 | biochemicalAgentDelivery NerveAgent and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1457-1457 | biochemicalAgentDelivery Saxitoxin and respirer |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1442-1442 | biochemicalAgentDelivery StaphylococcalEnterotoxinB and respirer |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | BreathingAtAMoreRapidRate est une sous-classe de respirer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11328-11328 | Exhaling est une sous-classe de respirer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11317-11317 | Inhaling est une sous-classe de respirer |
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 |
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 6531-6541 | |
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 5980-5983 |
|
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 18486-18498 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26935-26944 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16098-16109 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2037-2037 | BreathingDifficulty est une sous-classe de ImpairmentFn respirer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11775-11775 | Choking est une sous-classe de ImpairmentFn respirer |