No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2455-2455 | Dredger is a subclass of ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2456-2456 | Hopper dredger is a subclass of dredger |