No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1780-1780 |
A型肝炎病毒 是 肝炎病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1793-1793 |
B型肝炎病毒 是 肝炎病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1804-1804 |
C型肝炎病毒 是 肝炎病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27993-27993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27992-27992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27991-27991 |
|