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 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 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 1709-1709 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. Cars.kif 4989-4989 ChevroletAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4528-4528 CommodoreAutomobile is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 5141-5141 Corvette is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4932-4932 Ford car is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4886-4886 Holden Torana is a subclass of automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4874-4874 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 1251-1251 A brake system is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3154-3154 A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3983-3983 A steering box is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4000-4000 A steering column is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4005-4005 A steering wheel is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4152-4152 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 25622-25622 A VehicleDoor is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3647-3647 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 1250-1250 A automobile typically has a part brake system
No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3155 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 2599-2617
No TPTP formula. May not be expressible in strict first order. Cars.kif 2581-2597
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 1852-1870
No TPTP formula. May not be expressible in strict first order. Cars.kif 1831-1850
No TPTP formula. May not be expressible in strict first order. Cars.kif 2156-2168
No TPTP formula. May not be expressible in strict first order. Cars.kif 2744-2758
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 4062-4077
No TPTP formula. May not be expressible in strict first order. Cars.kif 1306-1321
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 9718-9727
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 2360-2394
No TPTP formula. May not be expressible in strict first order. Cars.kif 2339-2351
No TPTP formula. May not be expressible in strict first order. Cars.kif 2533-2546
No TPTP formula. May not be expressible in strict first order. Cars.kif 2766-2777
No TPTP formula. May not be expressible in strict first order. Cars.kif 2643-2659
No TPTP formula. May not be expressible in strict first order. Cars.kif 3300-3309
No TPTP formula. May not be expressible in strict first order. Cars.kif 2725-2742
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2569
No TPTP formula. May not be expressible in strict first order. Cars.kif 3196-3207
No TPTP formula. May not be expressible in strict first order. Cars.kif 2704-2717
No TPTP formula. May not be expressible in strict first order. Cars.kif 4717-4728
No TPTP formula. May not be expressible in strict first order. Cars.kif 3834-3850
No TPTP formula. May not be expressible in strict first order. Cars.kif 5069-5080
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1997-2015
No TPTP formula. May not be expressible in strict first order. Cars.kif 4692-4703
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3673
No TPTP formula. May not be expressible in strict first order. Cars.kif 4010-4028


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