No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1786-1786 |
Hepatitis a is an instance of hepatitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1798-1798 |
Hepatitis b is an instance of hepatitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1809-1809 |
Hepatitis c is an instance of 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 |
|