No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1788-1788 |
diseaseSymptom HepatitisA and Fever |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1789-1791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7048-7048 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1786-1786 |
HepatitisA e' uma instancia de Hepatitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1787-1787 |
HepatitisA e' uma instancia de VaccinatableDisease |