No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | MovableBridge e' uma sub-classe de Bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1627-1627 | Drawbridge e' uma sub-classe de MovableBridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1628-1628 | PontoonBridge e' uma sub-classe de MovableBridge |