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


s__documentation(s__Automobile,s__EnglishLanguage,'"Automobile is a subclass of SelfPoweredRoadVehicles including passenger cars, family vans, light trucks, and sport utility vehicles. In general, this class covers four-wheeled passenger road vehicles."')

Transportation.kif 1957-1960
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Talbothorizon.jpg"')

pictureList-ImageNet.kif 394-394
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Ferrari348.jpg"')

pictureList-ImageNet.kif 396-396
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ Ferrari_599_GTB_Fiorano.jpg/ 800px-Ferrari_599_GTB_Fiorano.jpg"')

pictureList-ImageNet.kif 395-395
s__externalImage(s__Automobile,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ Louwman_Collection_Entrance.jpg/ 250px-Louwman_Collection_Entrance.jpg"')

pictureList-ImageNet.kif 397-397
s__externalImage(s__Automobile,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ autos/ Black_n_White/ CAR-2.png"')

pictureList.kif 322-322
s__externalImage(s__Automobile,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png"')

pictureList.kif 247-247
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__Automobile,s__PassengerVehicle)

s__instance(s__PassengerVehicle,s__SetOrClass)

Transportation.kif 1956-1956 Automobile is a subclass of passenger vehicle
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__Automobile,s__PhysicalSystem)

s__instance(s__PhysicalSystem,s__SetOrClass)

Cars.kif 836-836 Automobile is a subclass of physical system
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__Automobile,s__SelfPoweredRoadVehicle)

s__instance(s__SelfPoweredRoadVehicle,s__SetOrClass)

Transportation.kif 1955-1955 Automobile is a subclass of self powered road vehicle

appearance as argument number 2
-------------------------


s__industryProductType(s__AutomobileManufacturing,s__Automobile)

Economy.kif 1709-1709 Automobile is an industry product type of automobile manufacturing
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__ChevroletAutomobile,s__Automobile)

s__instance(s__ChevroletAutomobile,s__SetOrClass)

Cars.kif 4989-4989 ChevroletAutomobile is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__CommodoreAutomobile,s__Automobile)

s__instance(s__CommodoreAutomobile,s__SetOrClass)

Cars.kif 4528-4528 CommodoreAutomobile is a subclass of automobile
s__instance(s__Corvette,s__SetOrClass)

s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__Corvette,s__Automobile)

Cars.kif 5141-5141 Corvette is a subclass of automobile
s__subclass(s__FordAutomobile,s__Automobile)

s__instance(s__Automobile,s__SetOrClass)

s__instance(s__FordAutomobile,s__SetOrClass)

Cars.kif 4932-4932 Ford car is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__HoldenToranaAutomobile,s__Automobile)

s__instance(s__HoldenToranaAutomobile,s__SetOrClass)

Cars.kif 4886-4886 Holden Torana is a subclass of automobile
s__instance(s__MiniCooper,s__SetOrClass)

s__instance(s__Automobile,s__SetOrClass)

s__subclass(s__MiniCooper,s__Automobile)

Cars.kif 4874-4874 Mini cooper is a subclass of automobile
s__instance(s__Automobile,s__SetOrClass)

s__instance(s__Taxicab,s__SetOrClass)

s__subclass(s__Taxicab,s__Automobile)

Transportation.kif 1970-1970 Taxicab is a subclass of automobile
s__termFormat(s__ChineseLanguage,s__Automobile,'"汽车"')

domainEnglishFormat.kif 9207-9207
s__termFormat(s__ChineseTraditionalLanguage,s__Automobile,'"汽車"')

domainEnglishFormat.kif 9206-9206
s__termFormat(s__EnglishLanguage,s__Automobile,'"automobile"')

domainEnglishFormat.kif 9205-9205
s__typicalPart(s__AutoSuspensionSystem,s__Automobile)

Cars.kif 727-727 A auto suspension system is typically a part of a automobile
s__typicalPart(s__AutomobileShock,s__Automobile)

Cars.kif 868-868 A shock is typically a part of a automobile
s__typicalPart(s__BrakeSystem,s__Automobile)

Cars.kif 1251-1251 A brake system is typically a part of a automobile
s__typicalPart(s__IgnitionCoil,s__Automobile)

Cars.kif 3154-3154 A ignition coil is typically a part of a automobile
s__typicalPart(s__SteeringBox,s__Automobile)

Cars.kif 3983-3983 A steering box is typically a part of a automobile
s__typicalPart(s__SteeringColumn,s__Automobile)

Cars.kif 4000-4000 A steering column is typically a part of a automobile
s__typicalPart(s__SteeringWheel,s__Automobile)

Cars.kif 4005-4005 A steering wheel is typically a part of a automobile
s__typicalPart(s__TieRod,s__Automobile)

Cars.kif 4152-4152 A tie rod is typically a part of a automobile
s__typicalPart(s__VehicleDoor,s__Automobile)

Mid-level-ontology.kif 27368-27368 A VehicleDoor is typically a part of a automobile
s__typicallyContainsPart(s__AutoAirbag,s__Automobile)

Cars.kif 3647-3647 A automobile typically has a part airbag
s__typicallyContainsPart(s__AutoSuspensionSystem,s__Automobile)

Cars.kif 726-726 A automobile typically has a part auto suspension system
s__typicallyContainsPart(s__AutomobileShock,s__Automobile)

Cars.kif 869-869 A automobile typically has a part shock
s__typicallyContainsPart(s__BrakeSystem,s__Automobile)

Cars.kif 1250-1250 A automobile typically has a part brake system
s__typicallyContainsPart(s__IgnitionCoil,s__Automobile)

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
( ! [V__A2,V__S1,V__R1,V__R2,V__A1] :
   (((s__instance(V__R1,s__RealNumber) &
         s__instance(V__R2,s__RealNumber))
       =>
       (((s__instance(V__A1,s__Automobile) &
             s__instance(V__A2,s__Automobile) &
             s__instance(V__S1,s__AutomobileShock) &
             s__part(V__S1,V__A1)
           &
           ~(( ? [V__S2] :
               ((s__instance(V__S2,s__AutomobileShock) &
                   s__part(V__S2,V__A2)))))
         &
         s__dampingRatio(V__A1,V__R1)
       &
       s__dampingRatio(V__A2,V__R2))
   =>
   (s__greaterThan(V__R2,V__R1)))))
)
)

Cars.kif 853-866
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOff))
=>
(( ? [V__M2] :
((s__instance(V__M2,s__Motion) &
     s__patient(V__M2,V__G)
   &
   s__causes(V__M,V__M2))))))
)
)

Cars.kif 1852-1870
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOn))
=>
(~(( ? [V__M2] :
   ((s__instance(V__M2,s__Motion) &
       s__patient(V__M2,V__G)
     &
     s__causes(V__M,V__M2)))))))
)
)

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
( ! [V__A] :
   ((s__instance(V__A,s__Automobile) =>
       (s__equipmentCount(V__A,s__Axle,n__2)))
   )
)

Transportation.kif 1966-1968
( ! [V__A] :
   ((s__instance(V__A,s__Automobile) =>
       (s__equipmentCount(V__A,s__VehicleWheel,n__4)))
   )
)

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
( ! [V__SVC] :
   ((s__instance(V__SVC,s__ShuttleService) =>
       (( ? [V__LIST, V__VEHICLE, V__AGENT] :
           ((s__instance(V__AGENT,s__Agent) &
               (s__agent(V__SVC,V__AGENT)
               &
               s__possesses(V__AGENT,V__VEHICLE)
             &
             s__instance(V__VEHICLE,s__Automobile) &
             s__instance(V__LIST,s__List) &
             ( ! [V__X] :
               ((s__inList(V__X,V__LIST)
                 =>
                 ((s__instance(V__X,s__PostalPlace) &
                     ( ? [V__TRANSPORT] :
                       ((s__instance(V__TRANSPORT,s__Transportation) &
                           s__agent(V__TRANSPORT,V__AGENT)
                         &
                         s__instrument(V__TRANSPORT,V__VEHICLE)
                       &
                       s__destination(V__TRANSPORT,V__X)))))))))))))))
)
)

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