SevereHearingLoss
|
|
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 | 子類 Breathing and 自主過程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10275-10275 | 子類 Breathing and OrganismProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 292-292 | Breathing 是 霧化的炭疽芽孢桿菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 281-281 | Breathing 是 炭疽桿菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | Breathing 是 細菌劑 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 477-477 | Breathing 是 發泡劑 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 523-523 | Breathing 是 血液劑 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1588-1588 | Breathing 是 百日咳博德特氏菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 374-374 | Breathing 是 burkholderia 假單胞菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1598 | Breathing 是 衣原體鸚鵡熱 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 603-603 | Breathing 是 窒息劑 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1250-1250 | Breathing 是 coxiella burnetii 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1207-1207 | Breathing 是 弗朗西斯 土拉弗朗西斯菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1927-1927 | Breathing 是 junin病毒 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1940-1940 | Breathing 是 machupo病毒 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1735-1735 | Breathing 是 馬爾堡病毒 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1727-1727 | Breathing 是 結核分枝桿菌 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 559-559 | Breathing 是 神經毒劑 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1457-1457 | Breathing 是 石房蛤毒素 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1442-1442 | Breathing 是 葡萄球菌腸毒素b 的 biochemical 病毒傳遞 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | 子類 BreathingAtAMoreRapidRate and Breathing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11328-11328 | 子類 呼氣 and Breathing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11317-11317 | 子類 吸入 and 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 11218-11223 |
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 and ImpairmentFn Breathing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11775-11775 | 子類 Choking and ImpairmentFn Breathing |