biochemicalAgentSyndrome |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 763-765 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 762-762 | 生化药物综合症 的 2 数量 是 疾病或综合症 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 761-761 | 生化药物综合症 的 1 数量 是 生化剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 760-760 | 生化药物综合症 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 295-295 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11045-11045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11044-11044 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11043-11043 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1124-1129 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1035-1040 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1773-1775 |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2029-2034 |
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 293-293 | 吸入性炭疽 是 雾化的炭疽芽孢杆菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1829-1829 | 黄曲霉毒素中毒 是 黄曲霉毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 280-280 | 炭疽病 是 炭疽杆菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1587-1587 | 百日咳 是 百日咳博德特氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1422-1422 | LymeDisease 是 Borrelia 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 327-327 | 肉毒中毒 是 肉毒杆菌毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 387-387 | 波状热 是 布鲁氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 358-358 | 马鼻疽 是 burkholderia mallei 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 376-376 | 类鼻疽 是 burkholderia 假单胞菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1596-1596 | 鹦鹉学舌 是 衣原体鹦鹉热 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 614-614 | 胃肠炎 是 氯化苦 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1508-1508 | 破伤风 是 破伤风梭菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1398-1398 | 裂谷热 是 球孢子菌 posadasii 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1386-1386 | 裂谷热 是 球孢子菌丝虫 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1471-1471 | 麻痹性贝类中毒 是 芋螺毒素 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1897-1897 | 白喉 是 白喉棒状杆菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1249-1249 | Q发烧 是 coxiella burnetii 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1920-1920 | 克里米亚刚果出血热 是 克里米亚刚果出血热病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1639-1639 | 登革热 是 登革热病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1640-1640 | 登革热出血热 是 登革热病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1691-1691 | 东部马脑炎 是 东部马脑炎病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1196-1196 | 埃博拉出血热 是 伊波拉病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1206-1206 | 兔热病 是 弗朗西斯 土拉弗朗西斯菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1364-1364 | 胃肠炎 是 贾第鞭毛虫 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1950-1950 | 委内瑞拉出血热 是 瓜纳里托病毒 的 biochemical 病毒征兆 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |