No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3219-3219 | Railroad company is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3233-3233 | ClassI railroad is a subclass of railroad company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3239-3239 | ClassII railroad is a subclass of railroad company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3245-3245 | ClassIII railroad is a subclass of railroad company |