No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | MovableBridge est une sous-classe de Bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1627-1627 | Drawbridge est une sous-classe de MovableBridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1628-1628 | PontoonBridge est une sous-classe de MovableBridge |
![]() |