Automobile(automobile) more pictures... | 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 1949-1952 | |
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 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 1947-1947 | 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 1705-1705 | Automobile is an industry product type of automobile manufacturing |
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 4505-4505 | Commodore 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 |
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 4863-4863 | Holden Torana 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. | Transportation.kif 1962-1962 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9198-9198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9197-9197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9196-9196 | |
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 3140-3140 | A ignition coil is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3967-3967 | A steering box is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3984-3984 | A steering column is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3989-3989 | A steering wheel is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4136-4136 | 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 29410-29410 | A vehicle door is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3630-3630 | 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 3141-3141 | 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 |