| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14265-14265 | 公交专用道 是 地区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 公交专用道 是 自身连接物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | 管道 是 公交专用道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | 空中运输通道 是 公交专用道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | 临时路口 是 公交专用道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11717-11717 | 空中航线 是 公交专用道 的 subclass |
| 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. | Geography.kif 5576-5576 | 水路 是 公交专用道 的 subclass |
|
|