No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 158-158 |
例 雙鏈分子結構 and 分子結構屬性 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 313-313 |
子類 蛋白質結構屬性 and 分子結構屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38277-38277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38276-38276 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38275-38275 |
|