| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14287-14287 | Transitway est une sous-classe de r�gion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14288-14288 | Transitway est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | Pipeline est une sous-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | AirTransitway est une sous-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | TransitwayJunction est une sous-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11716-11716 | Airway est une sous-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14306-14306 | LandTransitway est une sous-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | Waterway est une sous-classe de Transitway |
|
|