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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Automobile

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 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
-------------------------


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 4046-4061
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 1958-1960
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1954-1956

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 4694-4705
No TPTP formula. May not be expressible in strict first order. Cars.kif 3818-3834
No TPTP formula. May not be expressible in strict first order. Cars.kif 5046-5057
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2035-2053
No TPTP formula. May not be expressible in strict first order. Cars.kif 4669-4680
No TPTP formula. May not be expressible in strict first order. Cars.kif 3632-3656
No TPTP formula. May not be expressible in strict first order. Cars.kif 3994-4012


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

Show without tree


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