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 1939-1942
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-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 398-398
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 1938-1938 Automobile is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 827-827 Automobile is a subclass of physical system
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1937-1937 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 1709-1709 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. Cars.kif 4947-4947 ChevroletAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4486-4486 CommodoreAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 5099-5099 Corvette is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4890-4890 Ford car is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4844-4844 Holden Torana is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4832-4832 Mini cooper is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1952-1952 Taxicab is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9211-9211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9210-9210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9209-9209
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 859-859 A shock is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 1242-1242 A brake system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3115-3115 A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3941-3941 A steering box is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3958-3958 A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3963-3963 A steering wheel is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4110-4110 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 27588-27588 A VehicleDoor is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3605-3605 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 860-860 A automobile typically has a part shock
No TPTP formula. May not be expressible in strict first order. Cars.kif 1241-1241 A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order. Cars.kif 3116-3116 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 2572-2588
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Cars.kif 844-857
No TPTP formula. May not be expressible in strict first order. Cars.kif 1834-1852
No TPTP formula. May not be expressible in strict first order. Cars.kif 1813-1832
No TPTP formula. May not be expressible in strict first order. Cars.kif 2129-2141
No TPTP formula. May not be expressible in strict first order. Cars.kif 2715-2729
No TPTP formula. May not be expressible in strict first order. Cars.kif 1061-1081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1042-1059
No TPTP formula. May not be expressible in strict first order. Cars.kif 4020-4035
No TPTP formula. May not be expressible in strict first order. Cars.kif 1293-1308
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1948-1950
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1944-1946

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9634-9643
No TPTP formula. May not be expressible in strict first order. Cars.kif 836-842
No TPTP formula. May not be expressible in strict first order. Cars.kif 2333-2367
No TPTP formula. May not be expressible in strict first order. Cars.kif 2312-2324
No TPTP formula. May not be expressible in strict first order. Cars.kif 2506-2519
No TPTP formula. May not be expressible in strict first order. Cars.kif 2737-2748
No TPTP formula. May not be expressible in strict first order. Cars.kif 2614-2630
No TPTP formula. May not be expressible in strict first order. Cars.kif 3261-3270
No TPTP formula. May not be expressible in strict first order. Cars.kif 2696-2713
No TPTP formula. May not be expressible in strict first order. Cars.kif 2527-2542
No TPTP formula. May not be expressible in strict first order. Cars.kif 3157-3168
No TPTP formula. May not be expressible in strict first order. Cars.kif 2675-2688
No TPTP formula. May not be expressible in strict first order. Cars.kif 4675-4686
No TPTP formula. May not be expressible in strict first order. Cars.kif 3792-3808
No TPTP formula. May not be expressible in strict first order. Cars.kif 5027-5038
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1983-2001
No TPTP formula. May not be expressible in strict first order. Cars.kif 4650-4661
No TPTP formula. May not be expressible in strict first order. Cars.kif 3607-3631
No TPTP formula. May not be expressible in strict first order. Cars.kif 3968-3986


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