No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4171-4171 |
孤山 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4044-4044 |
爬坡道 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4155-4155 |
台面 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4027-4027 |
山 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4013-4013 |
山脉 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
高原 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4093-4093 |
分水岭 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60620-60620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60619-60619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60618-60618 |
|