No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | 子類 可動橋 and 橋 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1627-1627 | 子類 吊橋 and 可動橋 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1628-1628 | 子類 浮橋 and 可動橋 |