No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1964-1964 |
Fever is a disease symptom of brazilian hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1965-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10549-10549 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10547-10547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10546-10546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9914-9914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10548-10548 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1963-1963 |
Brazilian hemorrhagic fever is an instance of hemorrhagic fever |