No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3186-3186 |
南极海豹公约 是 "Convention for the Conservation of Antarctic Seals" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3188-3188 |
南极海豹公约 是 "Antarctic Seals" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7770-7770 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7769-7769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7768-7768 |
|