No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1786-1786 |
A型肝炎 是 肝炎 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1798-1798 |
B型肝炎 是 肝炎 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1809-1809 |
C型肝炎 是 肝炎 的 instance |
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 |
|