Automobile - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2089-2092
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 322-322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 247-247
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 394-394
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 395-395
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 397-397
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2088-2088	子類汽車 and 乘用車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 836-836	子類汽車 and 物理系統
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2087-2087	子類汽車 and 自供電公路車輛

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1705-1705	汽車是汽車製造業的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5027-5027	子類 ChevroletAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4566-4566	子類 CommodoreAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5179-5179	子類 Corvette and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4970-4970	子類 FordAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4924-4924	子類 HoldenToranaAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4912-4912	子類 MiniCooper and 汽車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2102-2102	子類出租車 and 汽車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9205-9205	子類出租車 and 汽車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9204-9204	子類出租車 and 汽車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9203-9203	子類出租車 and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 727-727	AutoSuspensionSystem typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 868-868	AutomobileShock typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1237-1237	BrakeSystem typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3201-3201	IgnitionCoil typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4028-4028	SteeringBox typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4045-4045	SteeringColumn typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4050-4050	方向盤 typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4197-4197	TieRod typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30525-30525	VehicleDoor typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3691-3691	汽車 typically 有 part AutoAirbag
No TPTP formula. May not be expressible in strict first order.	Cars.kif 726-726	汽車 typically 有 part AutoSuspensionSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 869-869	汽車 typically 有 part AutomobileShock
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1236-1236	汽車 typically 有 part BrakeSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3202-3202	汽車 typically 有 part IgnitionCoil

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 2569-2587	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 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2551-2567	持有期間 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 容易
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1822-1840	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1801-1820	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2126-2138	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2714-2728	例 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4107-4122	例 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2098-2100	例 Object and 汽車 Object 對於 2 equipment 記數軸
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2094-2096	例 Object and 汽車 Object 對於 4 equipment 記數車輪

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 845-851	例 Physical and AutomobileShock 有目的 Physical and entity 例 entity and 汽車部分 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2330-2364	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2309-2321	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2503-2516	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2736-2747	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2613-2629	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3347-3356	例 Physical and EngineMAPSensor 有目的 Physical and entity entity 例 entity and EngineControlModule 例 entity and 汽車部分 Physical and entity 部分 entity and entity 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2695-2712	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2524-2539	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3243-3254	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2674-2687	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4755-4766	例 Physical and InteriorVehicleEquipment 有目的 Physical and entity entity 例 entity and 汽車例 entity and 發動機部分 entity and entity 部分 Physical and entity 部分 Physical and entity 方位 Physical, entity and 內
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3879-3895	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5107-5118	例 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4730-4741	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3693-3717	例 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4055-4073	例 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 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

KB Term:			Term intersection

English Word: