biochemicalAgentSyndrome |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 763-765 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 762-762 | O argumento numero 2 de biochemicalAgentSyndrome e' uma instancia de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 761-761 | O argumento numero 1 de biochemicalAgentSyndrome e' uma sub-classe de BiochemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 760-760 | biochemicalAgentSyndrome e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 295-295 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11045-11045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11044-11044 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11043-11043 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1124-1129 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1035-1040 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1773-1775 |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2029-2034 |
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 |
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 293-293 | biochemicalAgentSyndrome AerosolizedBacillusAnthracis and InhalationalAnthrax |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1829-1829 | biochemicalAgentSyndrome Aflatoxin and Aflatoxicosis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 280-280 | biochemicalAgentSyndrome BacillusAnthracis and Anthrax |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1587-1587 | biochemicalAgentSyndrome BordetellaPertussis and Pertussis |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1422-1422 | biochemicalAgentSyndrome Borrelia and LymeDisease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 327-327 | biochemicalAgentSyndrome BotulinumToxin and Botulism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 387-387 | biochemicalAgentSyndrome BrucellaBacterium and Brucellosis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 358-358 | biochemicalAgentSyndrome BurkholderiaMallei and Glanders |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 376-376 | biochemicalAgentSyndrome BurkholderiaPseudomallei and Melioidosis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1596-1596 | biochemicalAgentSyndrome ChlamydiaPsittaci and Psittacosis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 614-614 | biochemicalAgentSyndrome Chloropicrin and Gastroenteritis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1508-1508 | biochemicalAgentSyndrome ClostridiumTetani and Tetanus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1398-1398 | biochemicalAgentSyndrome CoccidiodesPosadasii and RiftValleyFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1386-1386 | biochemicalAgentSyndrome CoccidioidesImmitis and RiftValleyFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1471-1471 | biochemicalAgentSyndrome Conotoxin and ParalyticShellfishPoisoning |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1897-1897 | biochemicalAgentSyndrome CorynebacteriumDiphtheriae and Diphtheria |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1249-1249 | biochemicalAgentSyndrome CoxiellaBurnetii and QFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1920-1920 | biochemicalAgentSyndrome CrimeanCongoHemorrhagicFeverVirus and CrimeanCongoHemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1639-1639 | biochemicalAgentSyndrome DengueFeverVirus and DengueFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1640-1640 | biochemicalAgentSyndrome DengueFeverVirus and DengueHemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1691-1691 | biochemicalAgentSyndrome EasternEquineEncephalitisVirus and EasternEquineEncephalitis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1196-1196 | biochemicalAgentSyndrome EbolaVirus and EbolaHemorrhagicFever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1206-1206 | biochemicalAgentSyndrome FrancisellaTularensis and Tularemia |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1364-1364 | biochemicalAgentSyndrome GiardiaLamblia and Gastroenteritis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1950-1950 | biochemicalAgentSyndrome GuanaritoVirus and VenezuelanHemorrhagicFever |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |