| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14284-14284 | 子類 陸地過境通道 and 公交專用道 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | 子類 陸地過境通道 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | 子類 鐵路 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | 子類 飛機場 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | 子類 跑道 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | 子類 橋 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | 子類 隧道 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1647-1647 | 子類 線索 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | 子類 BowlingLane and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25801-25801 | 子類 RunningTrack and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14299-14299 | 子類 巷道 and 陸地過境通道 |
|
|