| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | 巷道 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | 浮出水面的巷道 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | 没有铺面的巷道 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | 二级公路 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | 街 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | 车道 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | 交叉路口 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17875-17875 | 车道 是 巷道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | 路 是 巷道 的 subclass |
|
|