No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3257-3257 |
海洋法公約 是 "LOS" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3254-3254 |
海洋法公約 是 "United Nations Convention on the Law of the Sea" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3256-3256 |
海洋法公約 是 "Law of the Sea" 的 conventional 簡稱 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33569-33569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33568-33568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33567-33567 |
|