| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | Roadway est une sous-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | SurfacedRoadway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | UnsurfacedRoadway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | SecondaryHighway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | Street est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | Lane est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | RoadJunction est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17875-17875 | Driveway est une sous-classe de Roadway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | Road est une sous-classe de Roadway |
|
|