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 1948-1948 | Automobile is a subclass of passenger vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4513-4513 | Commodore automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4859-4859 | Mini cooper is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4871-4871 | Holden Torana is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4917-4917 | Ford car is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4974-4974 | Chevrolet automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5126-5126 | Corvette is a subclass of automobile |