LowlandArea(低地地區) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3985-3986 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | 子類 低地地區 and 土地形式 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | 子類 樸素 and 低地地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4227-4227 | 子類 谷 and 低地地區 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35183-35183 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35182-35182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35181-35181 |