No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1492-1492 |
VibrioCholera e' uma sub-classe de BacterialAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 399-399 |
YersiniaPestis e' uma sub-classe de BacterialAgent |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1591-1591 |
YersiniaPseudotuberculosis e' uma sub-classe de BacterialAgent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9522-9522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9521-9521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9520-9520 |
|