biochemicalAgentAntidote |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 916-919 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 913-913 | 域 生化劑解毒劑, 1 and 生化劑 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 914-914 | 域子類 生化劑解毒劑, 2 and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | 域子類 生化劑解毒劑, 3 and Process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 912-912 | 例 生化劑解毒劑 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 288-288 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 287-287 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 286-286 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11033-11033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11032-11032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11031-11031 |
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 507-507 | 路易氏劑 biochemical 病毒解毒製劑 二巰基丙醇 對於 Covering |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | 神經毒劑 biochemical 病毒解毒製劑 阿托品 對於 注射 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 581-581 | 梭曼 biochemical 病毒解毒製劑 吡啶斯的明溴化物 對於 Putting |