| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14175-14175 | 土地面积 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8090-8090 | 公墓 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8103-8103 | 公园 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8134-8134 | 耕地面积 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8206-8206 | 营地 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8217-8217 | 城市街区 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8990-8990 | 领域 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | 岸区 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14203-14203 | 大陆 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14212-14212 | 岛 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14246-14246 | 国家 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | 州或省 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | 城市 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14274-14274 | 县 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 陆地过境通道 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 898-898 | 内陆地区 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | 耕地 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2108-2108 | 永久性耕地 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | 灌溉土地 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | 分水岭 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4196-4196 | 山前 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | 地峡 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | 海岸线 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | 森林 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | 丛林 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | 沙漠 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6638-6638 | 绿洲 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | 草原 是 土地面积 的 subclass |
|
|