YersiniaPestis
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 406-406 | biochemicalAgentSyndrome YersiniaPestis and Plague |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 408-408 | biologicalAgentCarrier YersiniaPestis and insecte |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 407-407 | biologicalAgentCarrier YersiniaPestis and rongeur |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 409-409 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 977-977 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 399-399 | YersiniaPestis est une sous-classe de BacterialAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63837-63837 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63836-63836 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63835-63835 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 401-404 |
|