No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1947-1947 | Automobile e' uma sub-classe de SelfPoweredRoadVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1948-1948 | Automobile e' uma sub-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile e' uma sub-classe de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | Taxicab e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | CommodoreAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4851-4851 | MiniCooper e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | HoldenToranaAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4909-4909 | FordAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4966-4966 | ChevroletAutomobile e' uma sub-classe de Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5118-5118 | Corvette e' uma sub-classe de Automobile |