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 数量 是 生化剂 的 instance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 914-914 | 生化剂解毒剂 的 2 数量 是 生物活性物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | 生化剂解毒剂 的 3 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 912-912 | 生化剂解毒剂 是 三元谓语 的 instance |
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 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 507-507 | 路易氏剂 biochemical 病毒解毒制剂 二巯基丙醇 对于 遮盖 |
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 病毒解毒制剂 吡啶斯的明溴化物 对于 放 |