| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14284-14284 | Land transitway is a subclass of transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | Land transitway is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | Railway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | Airport is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | Runway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | Bridge is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | Tunnel is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1647-1647 | Trail is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | Bowling lane is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25801-25801 | Running track is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14299-14299 | Roadway is a subclass of land transitway |
|
|