TreeView Knowledge Base Browser

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 1949-1952
(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 1948-1948	子類汽車 and 乘用車
(subclass Automobile PhysicalSystem)	Cars.kif 836-836	子類汽車 and 物理系統
(subclass Automobile SelfPoweredRoadVehicle)	Transportation.kif 1947-1947	子類汽車 and 自供電公路車輛

appearance as argument number 2

(industryProductType AutomobileManufacturing Automobile)	Economy.kif 1705-1705	汽車是汽車製造業的 industry 產品類別
(subclass ChevroletAutomobile Automobile)	Cars.kif 4974-4974	子類 ChevroletAutomobile and 汽車
(subclass CommodoreAutomobile Automobile)	Cars.kif 4513-4513	子類 CommodoreAutomobile and 汽車
(subclass Corvette Automobile)	Cars.kif 5126-5126	子類 Corvette and 汽車
(subclass FordAutomobile Automobile)	Cars.kif 4917-4917	子類 FordAutomobile and 汽車
(subclass HoldenToranaAutomobile Automobile)	Cars.kif 4871-4871	子類 HoldenToranaAutomobile and 汽車
(subclass MiniCooper Automobile)	Cars.kif 4859-4859	子類 MiniCooper and 汽車
(subclass Taxicab Automobile)	Transportation.kif 1962-1962	子類出租車 and 汽車
(termFormat ChineseLanguage Automobile "汽车")	domainEnglishFormat.kif 9198-9198
(termFormat ChineseTraditionalLanguage Automobile "汽車")	domainEnglishFormat.kif 9197-9197
(termFormat EnglishLanguage Automobile "automobile")	domainEnglishFormat.kif 9196-9196
(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 3148-3148	IgnitionCoil typically 是汽車的 part
(typicalPart SteeringBox Automobile)	Cars.kif 3975-3975	SteeringBox typically 是汽車的 part
(typicalPart SteeringColumn Automobile)	Cars.kif 3992-3992	SteeringColumn typically 是汽車的 part
(typicalPart SteeringWheel Automobile)	Cars.kif 3997-3997	方向盤 typically 是汽車的 part
(typicalPart TieRod Automobile)	Cars.kif 4144-4144	TieRod typically 是汽車的 part
(typicalPart VehicleDoor Automobile)	Mid-level-ontology.kif 29398-29398	VehicleDoor typically 是汽車的 part
(typicallyContainsPart AutoAirbag Automobile)	Cars.kif 3638-3638	汽車 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 3149-3149	汽車 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 2591-2609	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
(=> (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 2573-2589	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
(=> (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 汽車例物理系統 and 汽車例 Object and AutomobileShock 部分 Object and 物理系統 Object 例 Object and AutomobileShock 部分 Object and 物理系統 dampingRatio 物理系統 and RealNumber dampingRatio 物理系統 and RealNumber 比較多 RealNumber and RealNumber
(=> (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 1844-1862	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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 1823-1842	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (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 2148-2160	例 Object and EngineCoolingSystem 例 Object and 發動機例 Object and 汽車部分 Object and Object 部分 Object and Object 有目的 Object and entity 例 entity and Cooling 儀器 entity and Object 患者 entity and Object
(=> (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 2736-2750	例 Object and FanBelt 例 Object and EngineFan 例 Object and 汽車部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object 有目的 Object and Process 例 Process and 旋轉原因 Process and Process 患者 Process and Object
(=> (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	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Motion and Transportation 例 Process and 汽油患者 Motion and Process 儀器 Process and Object 例 Object and GasTank 部分 Object and Object 例 Object and EngineCylinder 部分 Object and Object 起源 Motion and Object 目的地 Motion and Object 路徑 Motion and Object 有目的 Motion and ProcessF 例 ProcessF and FuelFilter Object 對於 Object between 在路徑 ProcessF
(=> (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	例 Object and FuelPump 例 Object and 汽車部分 Object and Object 例 Process and Transportation 例 Process and 汽油患者 Process and Process 儀器 Process and Object 有目的 Object and entity entity 例 entity and GasTank 部分 entity and Object 例 entity and EngineCylinder 部分 entity and Object 起源 Process and entity 目的地 Process and entity
(=> (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 4054-4069	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
(=> (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	例 Process and Transportation 例 Object and 輪例 Object and 汽車部分 Object and Object 儀器 Process and Object 例 ObjectB and AntilockBrake 例 Process and 減速儀器 Process and ObjectB 部分 ObjectB and Object 有目的 ObjectB and entity 例 entity and 旋轉期間 entity and Process
(=> (instance ?A Automobile) (equipmentCount ?A Axle 2))	Transportation.kif 1958-1960	例 Object and 汽車 Object 對於 2 equipment 記數軸
(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4))	Transportation.kif 1954-1956	例 Object and 汽車 Object 對於 4 equipment 記數車輪

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	attribute Object and 乘用車租賃有目的 Object and entity entity and entity Object 是 entity 的 customer 例 entity and 汽車例 entity and 租擁有 Object and entity agent entity and entity
(=> (instance ?A AutomobileShock) (hasPurpose ?A (exists (?C) (and (instance ?C Automobile) (part ?A ?C)))))	Cars.kif 845-851	例 Physical and AutomobileShock 有目的 Physical and entity 例 entity and 汽車部分 Physical and entity
(=> (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 2352-2386	例 Physical and AutomobileTransmission 有目的 Physical and entity entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Crankshaft 例 entity and Driveshaft 例 entity and 汽車部分 entity and entity 部分 Physical and entity 部分 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical 例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉患者 entity and entity 患者 entity and entity 患者 entity and entity 患者 entity and entity 原因 entity and entity 原因 entity and entity 等於 entity and entity 持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘等於 entity and entity
(=> (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 2331-2343	例 Physical and Driveshaft 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and 輪部分 Physical and entity 部分 entity and entity 例 entity and 旋轉患者 entity and Physical 患者 entity and entity 原因 entity and entity
(=> (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 2525-2538	例 Physical and EngineControlModule 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and 發動機例 entity and Process 例 entity and Process 部分 entity and entity 部分 Physical and entity entity 是 located 在 Physical entity 是 located 在 entity 原因 entity and entity
(=> (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 2758-2769	例 Physical and EngineFan 有目的 Physical and entity entity and entity 例 entity and 汽車例 entity and Cooling 例 entity and 內燃機部分 entity and entity 部分 Physical and entity 儀器 entity and Physical 患者 entity and entity
(=> (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 2635-2651	例 Physical and ExhaustManifold 有目的 Physical and entity entity, entity, entity and entity 例 entity and 汽車例 entity and Exhaust 例 entity and EngineCylinder 例 entity and AutomobileMuffler 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 部分 entity and entity 起源 entity and entity 目的地 entity and entity 患者 entity and entity 儀器 entity and entity
(=> (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 3294-3303	例 Physical and EngineMAPSensor 有目的 Physical and entity entity 例 entity and EngineControlModule 例 entity and 汽車部分 Physical and entity 部分 entity and entity 連接的工程組件 Physical and entity
(=> (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 2717-2734	例 Physical and FanBelt 有目的 Physical and entity entity, entity and entity 例 entity and Pulley 例 entity and Pulley 等於 entity and entity 例 entity and Crankshaft 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 entity and entity 部分 Physical and entity 連接的工程組件 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 Physical and entity
(=> (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 2546-2561	例 Physical and GasPedal 有目的 Physical and entity entity, entity, entity and entity 例 entity and Pushing 例 entity and Transfer 例 entity and 汽油例 entity and 發動機例 entity and 汽車部分 Physical and entity 部分 entity and entity 目的地 entity and Physical 目的地 entity and entity 患者 entity and entity 原因 entity and entity
(=> (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 3190-3201	例 Physical and IgnitionControlModule 有目的 Physical and entity entity and entity 例 entity and 汽車例 entity and Spark 例 entity and 電腦程序部分 Physical and entity entity 是 located 在 entity entity 是 located 在 entity 原因 entity and entity
(=> (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 2696-2709	例 Physical and IntakeValve 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and FuelVapor 例 entity and CombustionChamber 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 患者 entity and entity 路徑 entity and Physical 目的地 entity and entity
(=> (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 4702-4713	例 Physical and InteriorVehicleEquipment 有目的 Physical and entity entity 例 entity and 汽車例 entity and 發動機部分 entity and entity 部分 Physical and entity 部分 Physical and entity 方位 Physical, entity and 內
(=> (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 3826-3842	例 Physical and PositiveCrankcaseVentilationValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Crankcase 例 entity and 汽油例 entity and CombustionChamber 例 entity and Transfer 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 Physical and entity 起源 entity and entity 目的地 entity and entity objectTransferred entity and entity 路徑 entity and Physical
(=> (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 5054-5065	例 Physical and AutomobileSeat 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and 汽車持有期間 entity and attribute entity and 坐在位於 entity and Physical 位於 Physical and entity
(=> (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	例 Process and ShuttleService List Object and AutonomousAgent agent Process and AutonomousAgent 擁有 AutonomousAgent and Object 例 Object and 汽車例 List and List Entity 在列表中 Entity and List 例 Entity and PostalPlace Process 例 Process and Transportation agent Process and AutonomousAgent 儀器 Process and Object 目的地 Process and Entity
(=> (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 4677-4688	例 Physical and VehicleRoofRack 有目的 Physical and entity entity and entity 例 entity and Transfer 患者 entity and entity 例 entity and 汽車方位 Physical, entity and 外空間的符合 entity and Physical 部分 Physical and entity 儀器 entity and entity
(=> (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 3640-3664	例 Physical and AutoAirbag 有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and 汽車部分 Physical and entity 例 entity and Human 包含 entity and entity 例 entity and Impacting 患者 entity and entity 例 entity and Inflating 患者 entity and Physical 原因 entity and entity entity hinders 卡帕 entity and 例 entity and Injuring 體驗者 entity and entity entity 例 entity and Impacting 目的地 entity and entity 體驗者 entity and entity 原因 entity and entity
(=> (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 4002-4020	例 Physical and SteeringColumnLock 有目的 Physical and entity entity, entity and entity 例 entity and SteeringColumn 例 entity and 汽車零件 entity and entity 部分 Physical and entity 例 entity and Protecting 儀器 entity and Physical 降低可能性持有期間 entity and attribute Physical and 鎖定 and 持有期間 entity and entity 例 entity and 偷竊行為患者 entity and entity

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

KB Term:			Term intersection

English Word: