TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1949-1952
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 1948-1948	子類汽車 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 1947-1947	子類汽車 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 4966-4966	子類 ChevroletAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4505-4505	子類 CommodoreAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5118-5118	子類 Corvette and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4909-4909	子類 FordAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4863-4863	子類 HoldenToranaAutomobile and 汽車
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4851-4851	子類 MiniCooper and 汽車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1962-1962	子類出租車 and 汽車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9198-9198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9197-9197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9196-9196
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 3140-3140	IgnitionCoil typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3967-3967	SteeringBox typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3984-3984	SteeringColumn typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3989-3989	方向盤 typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4136-4136	TieRod typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29410-29410	VehicleDoor typically 是汽車的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3630-3630	汽車 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 3141-3141	汽車 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 2585-2603	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 2567-2583	持有期間 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 1838-1856	例 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 1817-1836	例 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 2142-2154	例 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 2730-2744	例 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 4046-4061	例 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 1958-1960	例 Object and 汽車 Object 對於 2 equipment 記數軸
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1954-1956	例 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 2346-2380	例 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 2325-2337	例 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 2519-2532	例 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 2752-2763	例 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 2629-2645	例 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 3286-3295	例 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 2711-2728	例 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 2540-2555	例 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 3182-3193	例 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 2690-2703	例 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 4694-4705	例 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 3818-3834	例 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 5046-5057	例 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 4669-4680	例 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 3632-3656	例 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 3994-4012	例 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: