biologicalAgentCarrier |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 972-974 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 970-970 | O argumento numero 1 de biologicalAgentCarrier e' uma sub-classe de BiologicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 971-971 | O argumento numero 2 de biologicalAgentCarrier e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 969-969 | biologicalAgentCarrier e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 304-304 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 303-303 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 302-302 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11099-11099 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11098-11098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11097-11097 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 976-980 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2007-2009 |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 976-980 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2003-2005 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 285-285 | biologicalAgentCarrier BacillusAnthracis and Ungulado |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1586-1586 | biologicalAgentCarrier BordetellaPertussis and Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1429-1429 | biologicalAgentCarrier Borrelia and Louse |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1428-1428 | biologicalAgentCarrier Borrelia and Tick |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 356-356 | biologicalAgentCarrier BurkholderiaMallei and Mamifero |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 372-372 | biologicalAgentCarrier BurkholderiaPseudomallei and Mamifero |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1597-1597 | biologicalAgentCarrier ChlamydiaPsittaci and Passaro |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1470-1470 | biologicalAgentCarrier Conotoxin and Molusco |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1919-1919 | biologicalAgentCarrier CrimeanCongoHemorrhagicFeverVirus and Aracnideo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1638-1638 | biologicalAgentCarrier DengueFeverVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1689-1689 | biologicalAgentCarrier EasternEquineEncephalitisVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1205-1205 | biologicalAgentCarrier FrancisellaTularensis and Aracnideo |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1204-1204 | biologicalAgentCarrier FrancisellaTularensis and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1365-1365 | biologicalAgentCarrier GiardiaLamblia and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1524-1524 | biologicalAgentCarrier HerpesBVirus and Macaco |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1703-1703 | biologicalAgentCarrier JapaneseEncephalitisVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1925-1925 | biologicalAgentCarrier JuninVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1659-1659 | biologicalAgentCarrier LaCrosseVirus and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1660-1660 | biologicalAgentCarrier LaCrosseVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1860-1860 | biologicalAgentCarrier LassaVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1938-1938 | biologicalAgentCarrier MachupoVirus and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1615-1615 | biologicalAgentCarrier MalarialPlasmodium and Mosquito |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1235-1235 | biologicalAgentCarrier MonkeypoxVirus and Mamifero |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1404-1404 | biologicalAgentCarrier Myxomatosis and Roedor |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 267-267 | biologicalAgentCarrier RickettsiaProwazekii and Artropode |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |