No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1386-1386 |
biochemicalAgentSyndrome CoccidioidesImmitis and RiftValleyFever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1387-1389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9082-9082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8425-8425 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1379-1379 |
CoccidioidesImmitis e' uma sub-classe de FungalAgent |