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 63835-63835 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63834-63834 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63833-63833 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 401-404 |
|