| 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 1619-1619 | Bridge e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1624-1624 | FixedBridge e' uma sub-classe de Bridge |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | MovableBridge e' uma sub-classe de Bridge |
|
|