No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1618-1618 | Bridge is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1624-1624 | Fixed bridge is a subclass of bridge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1626-1626 | Movable bridge is a subclass of bridge |