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


(documentation Automobile 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
(externalImage Automobile "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Talbothorizon.jpg") pictureList-ImageNet.kif 394-394
(externalImage Automobile "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Ferrari348.jpg") pictureList-ImageNet.kif 396-396
(externalImage 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
(externalImage Automobile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ Louwman_Collection_Entrance.jpg/ 250px-Louwman_Collection_Entrance.jpg") pictureList-ImageNet.kif 397-397
(externalImage Automobile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ autos/ Black_n_White/ CAR-2.png") pictureList.kif 322-322
(externalImage Automobile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png") pictureList.kif 247-247
(subclass Automobile PassengerVehicle) Transportation.kif 1956-1956 Automobile is a subclass of passenger vehicle
(subclass Automobile PhysicalSystem) Cars.kif 836-836 Automobile is a subclass of physical system
(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 1955-1955 Automobile is a subclass of self powered road vehicle

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


(industryProductType AutomobileManufacturing Automobile) Economy.kif 1709-1709 Automobile is an industry product type of automobile manufacturing
(subclass ChevroletAutomobile Automobile) Cars.kif 4969-4969 ChevroletAutomobile is a subclass of automobile
(subclass CommodoreAutomobile Automobile) Cars.kif 4508-4508 CommodoreAutomobile is a subclass of automobile
(subclass Corvette Automobile) Cars.kif 5121-5121 Corvette is a subclass of automobile
(subclass FordAutomobile Automobile) Cars.kif 4912-4912 Ford car is a subclass of automobile
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4866-4866 Holden Torana is a subclass of automobile
(subclass MiniCooper Automobile) Cars.kif 4854-4854 Mini cooper is a subclass of automobile
(subclass Taxicab Automobile) Transportation.kif 1970-1970 Taxicab is a subclass of automobile
(termFormat ChineseLanguage Automobile "汽车") domainEnglishFormat.kif 9207-9207
(termFormat ChineseTraditionalLanguage Automobile "汽車") domainEnglishFormat.kif 9206-9206
(termFormat EnglishLanguage Automobile "automobile") domainEnglishFormat.kif 9205-9205
(typicalPart AutoSuspensionSystem Automobile) Cars.kif 727-727 A auto suspension system is typically a part of a automobile
(typicalPart AutomobileShock Automobile) Cars.kif 868-868 A shock is typically a part of a automobile
(typicalPart BrakeSystem Automobile) Cars.kif 1237-1237 A brake system is typically a part of a automobile
(typicalPart IgnitionCoil Automobile) Cars.kif 3140-3140 A ignition coil is typically a part of a automobile
(typicalPart SteeringBox Automobile) Cars.kif 3970-3970 A steering box is typically a part of a automobile
(typicalPart SteeringColumn Automobile) Cars.kif 3987-3987 A steering column is typically a part of a automobile
(typicalPart SteeringWheel Automobile) Cars.kif 3992-3992 A steering wheel is typically a part of a automobile
(typicalPart TieRod Automobile) Cars.kif 4139-4139 A tie rod is typically a part of a automobile
(typicalPart VehicleDoor Automobile) Mid-level-ontology.kif 28631-28631 A VehicleDoor is typically a part of a automobile
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3634-3634 A automobile typically has a part airbag
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 A automobile typically has a part auto suspension system
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869 A automobile typically has a part shock
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236 A automobile typically has a part brake system
(typicallyContainsPart IgnitionCoil 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
-------------------------


(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2585-2603
(=>
    (and
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))
Cars.kif 2567-2583
(=>
    (and
        (instance ?A1 Automobile)
        (instance ?A2 Automobile)
        (instance ?S1 AutomobileShock)
        (part ?S1 ?A1)
        (not
            (exists (?S2)
                (and
                    (instance ?S2 AutomobileShock)
                    (part ?S2 ?A2))))
        (dampingRatio ?A1 ?R1)
        (dampingRatio ?A2 ?R2))
    (greaterThan ?R2 ?R1))
Cars.kif 853-866
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOff))
    (exists (?M2)
        (and
            (instance ?M2 Motion)
            (patient ?M2 ?G)
            (causes ?M ?M2))))
Cars.kif 1838-1856
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOn))
    (not
        (exists (?M2)
            (and
                (instance ?M2 Motion)
                (patient ?M2 ?G)
                (causes ?M ?M2)))))
Cars.kif 1817-1836
(=>
    (and
        (instance ?ECS EngineCoolingSystem)
        (instance ?E Engine)
        (instance ?A Automobile)
        (part ?ECS ?A)
        (part ?E ?A))
    (hasPurpose ?ECS
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ECS)
                (patient ?C ?E)))))
Cars.kif 2142-2154
(=>
    (and
        (instance ?FB FanBelt)
        (instance ?EF EngineFan)
        (instance ?A Automobile)
        (part ?FB ?A)
        (part ?EF ?A)
        (instance ?M Motion)
        (patient ?M ?FB))
    (hasPurpose ?FB
        (exists (?M2)
            (and
                (instance ?M2 Rotating)
                (causes ?M ?M2)
                (patient ?M2 ?EF)))))
Cars.kif 2730-2744
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP))
    (hasPurpose ?FP
        (exists (?GT ?EC)
            (and
                (instance ?GT GasTank)
                (part ?GT ?A)
                (instance ?EC EngineCylinder)
                (part ?EC ?A)
                (origin ?T ?GT)
                (destination ?T ?EC)))))
Cars.kif 1051-1068
(=>
    (and
        (instance ?T Tailpipe)
        (instance ?TR Transfer)
        (instance ?E Exhaust)
        (instance ?A Automobile)
        (instance ?AES AutomobileExhaustSystem)
        (part ?T ?A)
        (path ?TR ?T)
        (patient ?TR ?E))
    (hasPurpose ?T
        (not
            (exists (?O)
                (and
                    (part ?O ?A)
                    (beforeOnPath ?T ?O ?AES ?TR))))))
Cars.kif 4049-4064
(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))
Cars.kif 1292-1307
(=>
    (instance ?A Automobile)
    (equipmentCount ?A Axle 2))
Transportation.kif 1966-1968
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))
Transportation.kif 1962-1964

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


(=>
    (attribute ?X PassengerCarRental)
    (hasPurpose ?X
        (exists (?RENT ?CAR ?CUST)
            (and
                (customer ?CUST ?X)
                (instance ?CAR Automobile)
                (instance ?RENT Renting)
                (possesses ?X ?CAR)
                (agent ?RENT ?CUST)))))
naics.kif 9711-9720
(=>
    (instance ?A AutomobileShock)
    (hasPurpose ?A
        (exists (?C)
            (and
                (instance ?C Automobile)
                (part ?A ?C)))))
Cars.kif 845-851
(=>
    (instance ?AT AutomobileTransmission)
    (hasPurpose ?AT
        (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
            (and
                (instance ?C Crankshaft)
                (instance ?D Driveshaft)
                (instance ?A Automobile)
                (part ?D ?A)
                (part ?AT ?A)
                (part ?C ?A)
                (connectedEngineeringComponents ?C ?AT)
                (connectedEngineeringComponents ?D ?AT)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (instance ?R3 Rotating)
                (instance ?R4 Rotating)
                (patient ?R1 ?C)
                (patient ?R2 ?C)
                (patient ?R3 ?D)
                (patient ?R4 ?D)
                (causes ?R1 ?R3)
                (causes ?R2 ?R4)
                (not
                    (equal ?R1 ?R2))
                (holdsDuring ?R1
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R2
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R3
                    (measure ?D
                        (RotationFn ?N2 MinuteDuration)))
                (holdsDuring ?R4
                    (measure ?D
                        (RotationFn ?N3 MinuteDuration)))
                (not
                    (equal ?N2 ?N3))))))
Cars.kif 2346-2380
(=>
    (instance ?D Driveshaft)
    (hasPurpose ?D
        (exists (?R1 ?R2 ?W ?A)
            (and
                (instance ?A Automobile)
                (instance ?W Wheel)
                (part ?D ?A)
                (part ?W ?A)
                (instance ?R1 Rotating)
                (patient ?R1 ?D)
                (patient ?R2 ?W)
                (causes ?R1 ?R2)))))
Cars.kif 2325-2337
(=>
    (instance ?ECM EngineControlModule)
    (hasPurpose ?ECM
        (exists (?A ?E ?P1 ?P2)
            (and
                (instance ?A Automobile)
                (instance ?E Engine)
                (instance ?P1 Process)
                (instance ?P2 Process)
                (part ?E ?A)
                (part ?ECM ?A)
                (eventLocated ?P1 ?ECM)
                (eventLocated ?P2 ?E)
                (causes ?P1 ?P2)))))
Cars.kif 2519-2532
(=>
    (instance ?EF EngineFan)
    (hasPurpose ?EF
        (exists (?C ?E ?A)
            (and
                (instance ?A Automobile)
                (instance ?C Cooling)
                (instance ?E InternalCombustionEngine)
                (part ?E ?A)
                (part ?EF ?A)
                (instrument ?C ?EF)
                (patient ?C ?E)))))
Cars.kif 2752-2763
(=>
    (instance ?EM ExhaustManifold)
    (hasPurpose ?EM
        (exists (?A ?E ?C ?M ?T)
            (and
                (instance ?A Automobile)
                (instance ?E Exhaust)
                (instance ?C EngineCylinder)
                (instance ?M AutomobileMuffler)
                (instance ?T Transfer)
                (part ?EM ?A)
                (part ?C ?A)
                (part ?M ?A)
                (origin ?T ?C)
                (destination ?T ?M)
                (patient ?T ?E)
                (instrument ?T ?E)))))
Cars.kif 2629-2645
(=>
    (instance ?EMS EngineMAPSensor)
    (hasPurpose ?EMS
        (exists (?ECM ?A)
            (and
                (instance ?ECM EngineControlModule)
                (instance ?A Automobile)
                (part ?EMS ?A)
                (part ?ECM ?A)
                (connectedEngineeringComponents ?EMS ?ECM)))))
Cars.kif 3286-3295
(=>
    (instance ?FB FanBelt)
    (hasPurpose ?FB
        (exists (?P1 ?P2 ?C ?A)
            (and
                (instance ?P1 Pulley)
                (instance ?P2 Pulley)
                (not
                    (equal ?P1 ?P2))
                (instance ?C Crankshaft)
                (instance ?A Automobile)
                (part ?P1 ?A)
                (part ?P2 ?A)
                (part ?C ?A)
                (part ?FB ?A)
                (connectedEngineeringComponents ?C ?P1)
                (connectedEngineeringComponents ?P1 ?FB)
                (connectedEngineeringComponents ?FB ?P2)))))
Cars.kif 2711-2728
(=>
    (instance ?GP GasPedal)
    (hasPurpose ?GP
        (exists (?P ?T ?F ?E ?A)
            (and
                (instance ?P Pushing)
                (instance ?T Transfer)
                (instance ?F Fuel)
                (instance ?E Engine)
                (instance ?A Automobile)
                (part ?GP ?A)
                (part ?E ?A)
                (destination ?P ?GP)
                (destination ?T ?E)
                (patient ?T ?F)
                (causes ?P ?T)))))
Cars.kif 2540-2555
(=>
    (instance ?ICM IgnitionControlModule)
    (hasPurpose ?ICM
        (exists (?S ?A ?CP)
            (and
                (instance ?A Automobile)
                (instance ?S Spark)
                (instance ?CP ComputerProcess)
                (part ?ICM ?A)
                (eventLocated ?CP ?A)
                (eventLocated ?S ?A)
                (causes ?CP ?S)))))
Cars.kif 3182-3193
(=>
    (instance ?IV IntakeValve)
    (hasPurpose ?IV
        (exists (?A ?FV ?CC ?T)
            (and
                (instance ?A Automobile)
                (instance ?FV FuelVapor)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (part ?IV ?A)
                (part ?CC ?A)
                (patient ?T ?FV)
                (path ?T ?IV)
                (destination ?T ?CC)))))
Cars.kif 2690-2703
(=>
    (instance ?IVE InteriorVehicleEquipment)
    (hasPurpose ?IVE
        (exists (?V ?E)
            (and
                (instance ?V Automobile)
                (instance ?E Engine)
                (part ?E ?V)
                (not
                    (part ?IVE ?E))
                (part ?IVE ?V)
                (orientation ?IVE ?V Inside)))))
Cars.kif 4697-4708
(=>
    (instance ?PCVV PositiveCrankcaseVentilationValve)
    (hasPurpose ?PCVV
        (exists (?CR ?F ?CC ?T ?A)
            (and
                (instance ?CR Crankcase)
                (instance ?F Fuel)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (instance ?A Automobile)
                (part ?CR ?A)
                (part ?CC ?A)
                (part ?PCVV ?A)
                (origin ?T ?CR)
                (destination ?T ?CC)
                (objectTransferred ?T ?F)
                (path ?T ?PCVV)))))
Cars.kif 3821-3837
(=>
    (instance ?S AutomobileSeat)
    (hasPurpose ?S
        (exists (?H ?T ?V)
            (and
                (instance ?H Human)
                (instance ?V Automobile)
                (holdsDuring ?T
                    (and
                        (attribute ?H Sitting)
                        (located ?H ?S)
                        (located ?S ?V)))))))
Cars.kif 5049-5060
(=>
    (instance ?SVC ShuttleService)
    (exists (?LIST ?VEHICLE ?AGENT)
        (and
            (agent ?SVC ?AGENT)
            (possesses ?AGENT ?VEHICLE)
            (instance ?VEHICLE Automobile)
            (instance ?LIST List)
            (forall (?X)
                (=>
                    (inList ?X ?LIST)
                    (and
                        (instance ?X PostalPlace)
                        (exists (?TRANSPORT)
                            (and
                                (instance ?TRANSPORT Transportation)
                                (agent ?TRANSPORT ?AGENT)
                                (instrument ?TRANSPORT ?VEHICLE)
                                (destination ?TRANSPORT ?X)))))))))
Hotel.kif 2010-2028
(=>
    (instance ?VRR VehicleRoofRack)
    (hasPurpose ?VRR
        (exists (?T ?A)
            (and
                (instance ?T Transfer)
                (patient ?T ?C)
                (instance ?A Automobile)
                (orientation ?VRR ?A Outside)
                (meetsSpatially ?C ?VRR)
                (part ?VRR ?A)
                (instrument ?T ?A)))))
Cars.kif 4672-4683
(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF)
            (and
                (instance ?CAR Automobile)
                (part ?X ?CAR)
                (instance ?PERSON Human)
                (contains ?CAR ?PERSON)
                (instance ?IMP Impacting)
                (patient ?IMP ?CAR)
                (instance ?INF Inflating)
                (patient ?INF ?X)
                (causes ?IMP ?INF)
                (hinders ?INF
                    (KappaFn ?INJ
                        (and
                            (instance ?INJ Injuring)
                            (experiencer ?INJ ?PERSON)
                            (exists (?HIT)
                                (and
                                    (instance ?HIT Impacting)
                                    (destination ?HIT ?CAR)
                                    (experiencer ?HIT ?PERSON)
                                    (causes ?HIT ?INJ))))))))))
Cars.kif 3636-3660
(=>
    (instance ?X SteeringColumnLock)
    (hasPurpose ?X
        (exists (?SC ?P ?CAR ?T)
            (and
                (instance ?SC SteeringColumn)
                (instance ?CAR Automobile)
                (component ?SC ?CAR)
                (part ?X ?SC)
                (instance ?P Protecting)
                (instrument ?P ?X)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (attribute ?X Locked))
                    (holdsDuring ?T
                        (exists (?STEAL)
                            (and
                                (instance ?STEAL Stealing)
                                (patient ?STEAL ?CAR)))))))))
Cars.kif 3997-4015


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