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 1957-1960 | |
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. | 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. | Transportation.kif 1956-1956 | 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 1955-1955 | 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 1716-1716 | Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4969-4969 | ChevroletAutomobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4508-4508 | CommodoreAutomobile is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5121-5121 | Corvette is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4912-4912 | Ford car is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4866-4866 | Holden Torana is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4854-4854 | Mini cooper is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1970-1970 | Taxicab is a subclass of automobile |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9207-9207 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9206-9206 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9205-9205 | |
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 3970-3970 | A steering box is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3987-3987 | A steering column is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3992-3992 | A steering wheel is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4139-4139 | 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 28800-28800 | A VehicleDoor is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3634-3634 | 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 |
![]() |
![]() |
![]() |