No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1966-1966 | Bus is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1967-1967 | Bus is a subclass of passenger vehicle |