No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | Roadway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | Surfaced roadway is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | Unsurfaced roadway is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | Secondary highway is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | Street is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | Lane is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | Road junction is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17875-17875 | Driveway is a subclass of roadway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | Road is a subclass of roadway |