Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Automobile
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 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Cars.kif 1838-1856
No TPTP formula. May not be expressible in strict first order. Cars.kif 1817-1836
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Cars.kif 2730-2744
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Cars.kif 4049-4064
No TPTP formula. May not be expressible in strict first order. Cars.kif 1292-1307
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1966-1968
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1962-1964

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 9711-9720
No TPTP formula. May not be expressible in strict first order. Cars.kif 845-851
No TPTP formula. May not be expressible in strict first order. Cars.kif 2346-2380
No TPTP formula. May not be expressible in strict first order. Cars.kif 2325-2337
No TPTP formula. May not be expressible in strict first order. Cars.kif 2519-2532
No TPTP formula. May not be expressible in strict first order. Cars.kif 2752-2763
No TPTP formula. May not be expressible in strict first order. Cars.kif 2629-2645
No TPTP formula. May not be expressible in strict first order. Cars.kif 3286-3295
No TPTP formula. May not be expressible in strict first order. Cars.kif 2711-2728
No TPTP formula. May not be expressible in strict first order. Cars.kif 2540-2555
No TPTP formula. May not be expressible in strict first order. Cars.kif 3182-3193
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Cars.kif 4697-4708
No TPTP formula. May not be expressible in strict first order. Cars.kif 3821-3837
No TPTP formula. May not be expressible in strict first order. Cars.kif 5049-5060
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2010-2028
No TPTP formula. May not be expressible in strict first order. Cars.kif 4672-4683
No TPTP formula. May not be expressible in strict first order. Cars.kif 3636-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 3997-4015


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners