Automobile(automobile)![]() ![]() ![]() ![]() | ![]() | Model_T, S.U.V., SUV, Stanley_Steamer, auto, automobile, automotive_vehicle, beach_waggon, beach_wagon, car, car_rental, compact, compact_car, convertible, coupe, cruiser, electric, electric_automobile, electric_car, estate_car, gas_guzzler, hardtop, hatchback, hire_car, hot-rod, hot_rod, jeep, landrover, loaner, machine, minicab, minicar, minivan, motor_vehicle, motorcar, pace_car, panda_car, patrol_car, phaeton, police_car, police_cruiser, prowl_car, race_car, racer, racing_car, rent-a-car, saloon, secondhand_car, sedan, self-drive... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2089-2092 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 247-247 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 394-394 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 396-396 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 395-395 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 397-397 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2088-2088 | 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 2087-2087 | Automobile is a subclass of self powered road vehicle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1830-1830 | Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5027-5027 | Chevrolet automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4566-4566 | Commodore automobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5179-5179 | Corvette is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4970-4970 | Ford car is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4924-4924 | Holden Torana is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4912-4912 | Mini cooper is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2102-2102 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9199-9199 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9198-9198 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9197-9197 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 727-727 | A auto suspension system is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 868-868 | A shock is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1237-1237 | A brake system is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3201-3201 | A ignition coil is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4028-4028 | A steering box is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4045-4045 | A steering column is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4050-4050 | A steering wheel is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4197-4197 | A tie rod is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31331-31331 | A vehicle door is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3691-3691 | A automobile typically has a part airbag |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | A automobile typically has a part auto suspension system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 869-869 | A automobile typically has a part shock |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1236-1236 | A automobile typically has a part brake system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3202-3202 | A automobile typically has a part ignition coil |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |