|
|
   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 Inseto |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 407-407 | biologicalAgentCarrier YersiniaPestis and Roedor |
| 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 e' uma sub-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 |
|
|
|
|
