TreeView Knowledge Base Browser - 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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: