No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3216-3217 |
氣候變化- 京都協議 是 "Kyoto Protocol to the United Nations Framework Convention on Climate Change" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3220-3220 |
氣候變化- 京都協議 是 "Climate Change Kyoto Protocol" 的 conventional 簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3219-3219 |
氣候變化- 京都協議 是 "Kyoto Protocol" 的 conventional 簡稱 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15126-15126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15125-15125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15124-15124 |
|