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__subclass(s__Automobile,s__PassengerVehicle)

s__instance(s__Automobile,s__Class)

s__instance(s__PassengerVehicle,s__Class)

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

s__instance(s__Automobile,s__Class)

s__instance(s__PhysicalSystem,s__Class)

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

s__instance(s__Automobile,s__Class)

s__instance(s__SelfPoweredRoadVehicle,s__Class)

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

s__subclass(s__ChevroletAutomobile,s__Automobile)

s__instance(s__ChevroletAutomobile,s__Class)

Cars.kif 4969-4969 ChevroletAutomobile is a subclass of automobile
s__instance(s__Automobile,s__Class)

s__instance(s__CommodoreAutomobile,s__Class)

s__subclass(s__CommodoreAutomobile,s__Automobile)

Cars.kif 4508-4508 CommodoreAutomobile is a subclass of automobile
s__instance(s__Corvette,s__Class)

s__instance(s__Automobile,s__Class)

s__subclass(s__Corvette,s__Automobile)

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

s__instance(s__Automobile,s__Class)

s__instance(s__FordAutomobile,s__Class)

Cars.kif 4912-4912 Ford car is a subclass of automobile
s__instance(s__HoldenToranaAutomobile,s__Class)

s__subclass(s__HoldenToranaAutomobile,s__Automobile)

s__instance(s__Automobile,s__Class)

Cars.kif 4866-4866 Holden Torana is a subclass of automobile
s__subclass(s__MiniCooper,s__Automobile)

s__instance(s__Automobile,s__Class)

s__instance(s__MiniCooper,s__Class)

Cars.kif 4854-4854 Mini cooper is a subclass of automobile
s__instance(s__Taxicab,s__Class)

s__instance(s__Automobile,s__Class)

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 1237-1237 A brake system is typically a part of a automobile
s__typicalPart(s__IgnitionCoil,s__Automobile)

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

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

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

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

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

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

Cars.kif 3634-3634 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 1236-1236 A automobile typically has a part brake system
s__typicallyContainsPart(s__IgnitionCoil,s__Automobile)

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
( ! [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 1838-1856
( ! [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 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
( ! [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 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
( ! [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 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