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	O argumento numero 1 de biochemicalAgentAntidote e' uma instancia de BiochemicalAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 914-914	O argumento numero 2 de biochemicalAgentAntidote e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order.	WMD.kif 915-915	O argumento numero 3 de biochemicalAgentAntidote e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-912	biochemicalAgentAntidote e' uma instancia de Predicado Ternario

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

biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 507-507	biochemicalAgentAntidote Lewisite, Dimercaprol and Cobrir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 561-561	biochemicalAgentAntidote NerveAgent, Atropine and Injecting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 581-581	biochemicalAgentAntidote Soman, PyridostigmineBromide and Colocar