No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3269-3270 |
海洋生物保护公约 是 "Convention on Fishing and Conservation of Living Resources of the High Seas" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3272-3272 |
海洋生物保护公约 是 "Marine Life Conservation" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36173-36173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36172-36172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36171-36171 |
|