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 |
|