| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14306-14306 | LandTransitway e' uma sub-classe de Transitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | LandTransitway e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | Railway e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | Airport e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | Runway e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | Bridge e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | Tunnel e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1647-1647 | Trail e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1142-1142 | BowlingLane e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25789-25789 | RunningTrack e' uma sub-classe de LandTransitway |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | Roadway e' uma sub-classe de LandTransitway |
|
|