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 | Le nombre 2 argument de biochemicalAgentSyndrome est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 761-761 | Le nombre 1 argument de biochemicalAgentSyndrome est une sous-classe de BiochemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 760-760 | biochemicalAgentSyndrome est une instance de pr�dicat binaire |
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 est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut 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 est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut 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 |