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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Automobile
Automobile(汽车)
more pictures...

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 2089-2092
(externalImage Automobile "http://articulatesoftware.com/SUMOpictures/transportation/ autos/ Black_n_White/ CAR-2.png") pictureList.kif 322-322
(externalImage Automobile "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png") pictureList.kif 247-247
(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
(subclass Automobile PassengerVehicle) Transportation.kif 2088-2088 汽车 是 乘用车 的 subclass
(subclass Automobile PhysicalSystem) Cars.kif 836-836 汽车 是 物理系统 的 subclass
(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 2087-2087 汽车 是 自供电公路车辆 的 subclass

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


(industryProductType AutomobileManufacturing Automobile) Economy.kif 1705-1705 汽车 是 汽车制造业 的 industry 产品类别
(subclass ChevroletAutomobile Automobile) Cars.kif 5027-5027 ChevroletAutomobile 是 汽车 的 subclass
(subclass CommodoreAutomobile Automobile) Cars.kif 4566-4566 CommodoreAutomobile 是 汽车 的 subclass
(subclass Corvette Automobile) Cars.kif 5179-5179 Corvette 是 汽车 的 subclass
(subclass FordAutomobile Automobile) Cars.kif 4970-4970 FordAutomobile 是 汽车 的 subclass
(subclass HoldenToranaAutomobile Automobile) Cars.kif 4924-4924 HoldenToranaAutomobile 是 汽车 的 subclass
(subclass MiniCooper Automobile) Cars.kif 4912-4912 MiniCooper 是 汽车 的 subclass
(subclass Taxicab Automobile) Transportation.kif 2102-2102 出租车 是 汽车 的 subclass
(termFormat ChineseLanguage Automobile "汽车") domainEnglishFormat.kif 9201-9201 出租车 是 汽车 的 subclass
(termFormat ChineseTraditionalLanguage Automobile "汽車") domainEnglishFormat.kif 9200-9200 出租车 是 汽车 的 subclass
(termFormat EnglishLanguage Automobile "automobile") domainEnglishFormat.kif 9199-9199 出租车 是 汽车 的 subclass
(typicalPart AutoSuspensionSystem Automobile) Cars.kif 727-727 AutoSuspensionSystem typically 是 汽车 的 part
(typicalPart AutomobileShock Automobile) Cars.kif 868-868 AutomobileShock typically 是 汽车 的 part
(typicalPart BrakeSystem Automobile) Cars.kif 1237-1237 BrakeSystem typically 是 汽车 的 part
(typicalPart IgnitionCoil Automobile) Cars.kif 3201-3201 IgnitionCoil typically 是 汽车 的 part
(typicalPart SteeringBox Automobile) Cars.kif 4028-4028 SteeringBox typically 是 汽车 的 part
(typicalPart SteeringColumn Automobile) Cars.kif 4045-4045 SteeringColumn typically 是 汽车 的 part
(typicalPart SteeringWheel Automobile) Cars.kif 4050-4050 方向盘 typically 是 汽车 的 part
(typicalPart TieRod Automobile) Cars.kif 4197-4197 TieRod typically 是 汽车 的 part
(typicalPart VehicleDoor Automobile) Mid-level-ontology.kif 29726-29726 VehicleDoor typically 是 汽车 的 part
(typicallyContainsPart AutoAirbag Automobile) Cars.kif 3691-3691 汽车 typically 有 part AutoAirbag
(typicallyContainsPart AutoSuspensionSystem Automobile) Cars.kif 726-726 汽车 typically 有 part AutoSuspensionSystem
(typicallyContainsPart AutomobileShock Automobile) Cars.kif 869-869 汽车 typically 有 part AutomobileShock
(typicallyContainsPart BrakeSystem Automobile) Cars.kif 1236-1236 汽车 typically 有 part BrakeSystem
(typicallyContainsPart IgnitionCoil Automobile) Cars.kif 3202-3202 汽车 typically 有 part IgnitionCoil

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 2569-2587
(=>
    (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 2551-2567
(=>
    (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 1822-1840
(=>
    (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 1801-1820
(=>
    (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 2126-2138
(=>
    (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 2714-2728
(=>
    (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 4107-4122
(=>
    (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 2098-2100
(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))		 Transportation.kif 2094-2096

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 2330-2364
(=>
    (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 2309-2321
(=>
    (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 2503-2516
(=>
    (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 2736-2747
(=>
    (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 2613-2629
(=>
    (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 3347-3356
(=>
    (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 2695-2712
(=>
    (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 2524-2539
(=>
    (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 3243-3254
(=>
    (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 2674-2687
(=>
    (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 4755-4766
(=>
    (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 3879-3895
(=>
    (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 5107-5118
(=>
    (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 2035-2053
(=>
    (instance ?VRR VehicleRoofRack)
    (hasPurpose ?VRR
        (exists (?T ?A ?C)
            (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 4730-4741
(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
            (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 3693-3717
(=>
    (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 4055-4073


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