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