No TPTP formula. May not be expressible in strict first order. | Merge.kif 14287-14287 | Transitway is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14288-14288 | Transitway is a subclass of self connected object |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | Pipeline is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | Transitway junction is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11716-11716 | Airway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14306-14306 | Land transitway is a subclass of transitway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | Waterway is a subclass of transitway |