No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | Bridge est une sous-classe de LandTransitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge est une sous-classe de artefact stationnaire |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1624-1624 | FixedBridge est une sous-classe de Bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | MovableBridge est une sous-classe de Bridge |