No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1803-1803 | Self powered road vehicle is a subclass of road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1804-1804 | Self powered road vehicle is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1876-1876 | Motorcycle is a subclass of self powered road vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile is a subclass of self powered road vehicle |
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 2009-2009 | Truck is a subclass of self powered road vehicle |