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 1798-1798 |
HepatitisB e' uma instancia de Hepatitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1809-1809 |
HepatitisC e' uma instancia de Hepatitis |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27951-27951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27950-27950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27949-27949 |
|