No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | 可动桥 是 桥 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1627-1627 | 吊桥 是 可动桥 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1628-1628 | 浮桥 是 可动桥 的 subclass |
![]() |