No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | Movable bridge is a subclass of bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1627-1627 | Drawbridge is a subclass of movable bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1628-1628 | Pontoon bridge is a subclass of movable bridge |