No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4171-4171 |
子類 孤山 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4044-4044 |
子類 爬坡道 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4155-4155 |
子類 檯面 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4027-4027 |
子類 山 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4013-4013 |
子類 山脈 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
子類 高原 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4093-4093 |
子類 分水嶺 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60622-60622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60621-60621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60620-60620 |
|