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 |