| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14284-14284 | 陆地过境通道 是 公交专用道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | 陆地过境通道 是 土地面积 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | 铁路 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | 飞机场 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | 跑道 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | 桥 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | 隧道 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1647-1647 | 线索 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | BowlingLane 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25801-25801 | RunningTrack 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14299-14299 | 巷道 是 陆地过境通道 的 subclass |
|
|