No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1174-1174 |
biochemicalAgentSyndrome YellowFeverVirus and Fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1175-1175 |
biochemicalAgentSyndrome YellowFeverVirus and YellowSkin |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1176-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4856-4856 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9862-9862 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1173-1173 |
YellowFeverVirus e' uma sub-classe de ViralAgent |