TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11015-11015
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11462-11462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11465-11465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11460-11460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10134-10134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11463-11463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11459-11459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11461-11461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11464-11464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	子類 Motion and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4894-4894	範圍流 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	子類 BodyMotion and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21526	子類關閉 and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1982-1982	子類 Compressing and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11274-11274	子類 DirectionChange and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2208-2208	子類 EngineCranking and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	子類 EngineCycle and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 202-202	子類 FourStrokeCombustion and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	子類 FourStrokeCompression and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 219-219	子類 FourStrokeExhaust and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 166-166	子類 FourStrokeIntake and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11244	子類氣體運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	子類地質過程 and Motion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5706-5706	子類灌溉 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	子類液體運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11065-11065	子類向下運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11059-11059	子類向上運動 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	子類開盤 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	子類拉 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613	子類 Pushing and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13645-13645	子類 Radiating and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17513-17513	子類逆 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17441	子類旋轉 and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17133-17133	子類拉伸 and Motion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6795-6795	子類蜂擁 and Motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10979-10979	域移動, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11075-11075	域路徑, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 328-328	域 windDrivenMotion, 2 and Motion

antecedent

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 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
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.	ComputerInput.kif 85-91	例 Process and GuidingMotion 患者 Process and Entity 子過程 Process and Process 例 Process and Motion 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	例 Process and GuidingMotion 子過程 Process and Process 例 Process and Motion 患者 Process and Entity 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11052-11057	例 Motion and Motion 移動 Motion and Object 目的地 Motion and Entity 持有期間結束何時 Motion and 位於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11036-11041	例 Motion and Motion 移動 Motion and Object 起源 Motion and Object 持有期間開始何時 Motion and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	例 Object and 原油管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	例 Object and 天然氣管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 天然氣
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	例 Object and 石油產品管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 石油產品
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity 例 Entity and 延期流體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11023	例 Motion and Motion Object 例 Object and Object 移動 Motion and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2056-2060	例 Attribute and SpeedScaleAttribute 屬性 Entity and Attribute 例 Entity and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	例 Object and 車輛制動器例 Object and 車輛部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
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.	Mid-level-ontology.kif 18150-18184	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	例 Entity and AutonomousAgent 持有期間 TimeInterval and attribute Entity and Motionless Process 例 Process and Motion 患者 Process and Entity 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Physical RealNumber 例 Physical and Motion 屬性 Physical and SpeedScaleAttribute 測量 Physical and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	attribute Object and 鎖定 Object Process and Entity 例 Object and 鎖連接的 Object and Object 例 Process and 關閉患者 Process and Object 例 Entity and Motion 早期何時 Process and 何時 attribute Object and 鎖定持有期間何時 attribute Object and 鎖定 and 模態屬性患者 Entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 71-76	例 Process and GuidingMotion Process 子過程 Process and Process 例 Process and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	例 Physical and IntermittentCombustionEngine 有目的 Physical and entity entity 例 entity and 爆炸例 entity and Motion entity 是 located 在 Physical entity 是 located 在 Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	例 Physical and 內燃機有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Motion 部分 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	例 Physical and MechanicalJoint 有目的 Physical and entity entity, entity and entity 例 entity and Motion 例 entity and 物理系統例 entity and EngineeringComponent 例 entity and EngineeringComponent 部分 entity and 物理系統部分 Physical and 物理系統部分 entity and 物理系統患者 entity and entity 患者 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	例 Object and WhirlpoolTub Object 例 Object and 壓力控制閥部分 Object and Object 有目的 Object and entity entity and entity 例 entity and Water 位於 entity and Object 例 entity and Creation 儀器 entity and Object 結果 entity and entity 例 entity and Motion 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	例 Entity and FruitOrVegetable 的 juice Object Process 例 Object and FruitOrVegetable 例 Process and Motion 資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	例 Process and WaterSkiing AutonomousAgent Object, Object, Object, Object, Process and Process 例 Object and 水車例 Object and WaterArea 例 Object and WaterSki Process 是 located 在 Object 例 AutonomousAgent and Human 位於 AutonomousAgent and Object 連接 Object, AutonomousAgent and Object 例 Process and Transportation 儀器 Process and Object 例 Process and Motion agent Process and AutonomousAgent 儀器 Process and Object 原因 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	例 Process and WindSurfing Object Object, Process and Process 例 Object and WindSurfingBoard 例 Object and WaterArea 例 Process and 風例 Process and Motion Process 是 located 在 Object 子過程 Process and Process 儀器 Process and Object 原因 Process and Process

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: