No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30803-30814	例 Entity and Carabiner 持有期間 TimePosition and attribute Entity and 設備關閉 持有期間 TimePosition and 模態屬性 entity 例 entity and ClimbingRope 包含 Entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30816-30823	例 Entity and Carabiner 持有期間 TimePosition and attribute Entity and 設備打開 持有期間 TimePosition and attribute Entity and RingTorus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	例 Process and CheckingVitals agent Process and CognitiveAgent 患者 Process and Object 例 心 and 心 部分 心 and Object 例 肺 and 肺 部分 肺 and Object 持有期間 何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer 知道 CognitiveAgent and 持有期間 何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	例 Entity and COVIDAntibody 持有期間 TimePosition and attribute entity and Covid19 部分 Entity and entity 持有期間 眼前的未來 TimePosition and 模態屬性 attribute entity and Covid19 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	例 Process and ChangeOfPossession 患者 Process and Entity 持有期間 開始 何時 Process and 擁有 entity and Entity 持有期間 結束 何時 Process and 擁有 entity and Entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 286-292	例 Entity and Human 持有期間 TimePosition and attribute Entity and 沒有完全形成 持有期間 TimePosition and 例 Entity and 人類青年
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5042-5050	例 Entity and 戶外服裝 持有期間 TimePosition and 穿 entity and Entity Entity 例 Entity and Building 持有期間 TimePosition and 位於 entity and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1926-1940	例 電腦程序 and 數據壓縮 數字數據 是由 電腦程序 processed 持有期間 不久的過去 何時 電腦程序 and 數字數據 requires 測量 RealNumber and entity 持有期間 眼前的未來 何時 電腦程序 and 數字數據 requires 測量 RealNumber and entity 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	例 Process and DeletingAnAccount 例 Entity and Account 持有期間 不久的過去 何時 Process and AutonomousAgent 有 account Entity 患者 Process and Entity agent Process and AutonomousAgent 持有期間 眼前的未來 何時 Process and AutonomousAgent 有 account Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12453-12462	例 Process and Detaching 患者 Process and Entity 患者 Process and Entity 持有期間 開始 何時 Process and 連接的 Entity and Entity 持有期間 結束 何時 Process and 連接的 Entity and Entity objectDetached Process and Entity objectDetached Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 體驗者 Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 結果 Process and Entity 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	例 Process and Deposition 患者 Process and Entity 持有期間 不久的過去 何時 Process and 測量 Entity and 測量 RealNumber and 焦耳 持有期間 眼前的未來 何時 Process and 測量 Entity and 測量 RealNumber and 焦耳 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25157-25164	例 Entity and 傳真機 持有期間 TimePosition and Entity 有 number entity 擁有 entity and Entity 持有期間 TimePosition and entity 的 fax number 是 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25132-25139	例 Entity and 移動手機 持有期間 TimePosition and Entity 有 number entity entity 是 entity 的 telephone number 持有期間 TimePosition and entity 的 mobile number 是 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	例 Entity and 電話 持有期間 TimePosition and 擁有 entity and Entity Entity 有 number entity 持有期間 TimePosition and entity 是 entity 的 telephone number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	例 Process and 發現 患者 Process and Entity 持有期間 何時 Process and 位於 Entity and entity Process 例 Process and Learning 子過程 Process and Process 患者 Process and 位於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	例 Object and EngineCylinder 例 HoleRegion and Crankcase 例 Physical and Piston 例 Process and TwoStrokeTransfer 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 例 Physical and Piston 例 Process and TwoStrokeIntake 持有期間 Process and 位於 Physical and Object 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object 有目的 Physical and 持有期間 Process and 部分填補 Physical and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	例 Object and Eyebrow 持有期間 TimePosition and attribute Object and Healthy attribute Object and 站立 部分 Object and Object ObjectYE 例 ObjectYE and 眼睛 部分 ObjectYE and Object 方位 Object, ObjectYE and 以上
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油 例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油 包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
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 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上 持有期間 Process and attribute Entity and 設備關閉 例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣 例 Object and 汽油 部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣 例 Object and 汽油 部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多 部 ObjectM and ObjectM and 部 ObjectM and ObjectM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	例 Process and EngineCycle 例 Object and 內燃機 例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間 何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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