biochemicalAgentDelivery |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 784-787 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 782-782 | O argumento numero 1 de biochemicalAgentDelivery e' uma sub-classe de BiochemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | O argumento numero 2 de biochemicalAgentDelivery e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 781-781 | biochemicalAgentDelivery e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 291-291 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11039-11039 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11038-11038 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11037-11037 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta 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 292-292 | biochemicalAgentDelivery AerosolizedBacillusAnthracis and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 281-281 | biochemicalAgentDelivery BacillusAnthracis and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 282-282 | biochemicalAgentDelivery BacillusAnthracis and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 283-283 | biochemicalAgentDelivery BacillusAnthracis and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 284-284 | biochemicalAgentDelivery BacillusAnthracis and Tocar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1850-1850 | biochemicalAgentDelivery BacillusCereus and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | biochemicalAgentDelivery BacterialAgent and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 201-201 | biochemicalAgentDelivery BacterialAgent and Tocar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 477-477 | biochemicalAgentDelivery BlisterAgent and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 478-478 | biochemicalAgentDelivery BlisterAgent and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 476-476 | biochemicalAgentDelivery BlisterAgent and Tocar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 523-523 | biochemicalAgentDelivery BloodAgent and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1588-1588 | biochemicalAgentDelivery BordetellaPertussis and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 326-326 | biochemicalAgentDelivery BotulinumToxin and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 357-357 | biochemicalAgentDelivery BurkholderiaMallei and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 374-374 | biochemicalAgentDelivery BurkholderiaPseudomallei and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 375-375 | biochemicalAgentDelivery BurkholderiaPseudomallei and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 373-373 | biochemicalAgentDelivery BurkholderiaPseudomallei and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1598 | biochemicalAgentDelivery ChlamydiaPsittaci and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 603-603 | biochemicalAgentDelivery ChokingAgent and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 342-342 | biochemicalAgentDelivery ClostridiumPerfringens and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | biochemicalAgentDelivery ClostridiumTetani and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1250-1250 | biochemicalAgentDelivery CoxiellaBurnetii and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1251-1251 | biochemicalAgentDelivery CoxiellaBurnetii and Ingerir |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1921-1921 | biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Injecting |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |