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 4505-4505 | Commodore automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4851-4851 | Mini cooper is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | Holden Torana is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4909-4909 | Ford car is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4966-4966 | Chevrolet automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5118-5118 | Corvette is a subclass of automobile |