No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and FunctionQuantity 等於 測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 等於 測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber 等於 RealNumberPROB and 可能性 測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 等於 RealNumberPROB and 可能性 測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 比較多 RealNumberPROB and RealNumberPROB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	持有期間 TimeInterval and attribute Human and Menopausal Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer 等於 RealNumber and 加成 49 and Integer 等於 RealNumber and 加成 52 and Integer 等於 TimePoint and 開始 TimeInterval 模態屬性 比較多 TimePoint and RealNumber 比較多 RealNumber and TimePoint and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5918-5925	持有期間 TimeInterval and attribute Entity and entity 例 Entity and ChronicDisease 持續時間 TimeInterval and RealNumber 比較多 RealNumber and 測量 3 and 月持續時間
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	持有期間 TimeInterval and attribute AutonomousAgent and Dieting 持有期間 TimeInterval and attribute AutonomousAgent and Dieting 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間 何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里 例 Object and Meal 例 Process and Eating agent Process and AutonomousAgent 資源 Process and Object 期間 何時 Process and TimeInterval 測量 Object and 測量 RealNumber and 卡路里 模態屬性 比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1558-1562	持有期間 TimePosition and RealNumber 是 entity 的 capital 地區支出 持有期間 TimePosition and RealNumber 是 entity 在 annual 地區消費 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	立即實例 Object and Class 立即實例 Physical and Class attribute Object and Oversized ObjectSIZE PhysicalSIZE and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectSIZE and UnitOfMeasure 測量 Physical and 測量 PhysicalSIZE and UnitOfMeasure 比較多 ObjectSIZE and PhysicalSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25710-25725	立即實例 Object and Class 立即實例 Object and Class attribute Object and ColdTemperature attribute Object and HotTemperature RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 例 RealNumber and TemperatureMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and TemperatureMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2606-2611	增加可能性 Formula and Formula 等於 可能性 Formula and RealNumber 條件概率 Formula, Formula and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
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.	Mid-level-ontology.kif 17142-17163	例 Process and 加速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間 開始 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 持有期間 結束 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 211-217	例 SelfConnectedObject and 人類成人 高度 SelfConnectedObject and 測量 RealNumber and 英寸 比較多 RealNumber and 120.0
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2018-2023	例 電腦密碼 and 蘋果ID SymbolicString 有 password 電腦密碼 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 7
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	例 Object and 飛機場 attribute Object and 很長的跑道機場 Object RealNumber 例 Object and 跑道 部分 Object and Object length Object and 測量 RealNumber and 儀表 比較多 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	例 GeographicArea and GeographicArea GeographicArea 的 elevation 高點 是 GeographicArea 的 geographic 次要地區 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 高點 的 elevation GeographicArea RealNumber GeographicArea 是 GeographicArea 的 geographic 次要地區 等於 GeographicArea and GeographicArea 的 elevation 高點 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 elevation 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 939-945	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 929-937	例 Region and GeographicArea 例 Process and 陰雲密布的天氣 Process 是 located 在 Region NonnegativeRealNumber NonnegativeRealNumber Region 比較多 NonnegativeRealNumber and 0.7
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 606-611	例 金融賬戶 and 個人賬戶 金融賬戶 對於 %3 的 current 利息率 RealNumber 是 Day 的 prime 利息率 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	例 Process and Braking 患者 Process and Entity 持有期間 不久的過去 何時 Process and 等於 測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 持有期間 眼前的未來 何時 Process and 等於 測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	例 Object and Brine 測量 Object and 測量 1.0 and 升 部分 Object and Object 例 Object and 鹽 測量 Object and 測量 RealNumber and 公克 比較多 RealNumber and 35.0 小於或等於 RealNumber and 260.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	例 Object and Cream 部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克 例 Object and 奶 部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	例 GeopoliticalArea and 美國城市 部分 GeopoliticalArea and 加州 等於 GeopoliticalArea and 洛杉磯加利福尼亞州 比較多 基數 洛杉磯加利福尼亞州 的 resident and 基數 GeopoliticalArea 的 resident
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	例 Process and CPR 例 Motion and Compressing 路徑 Motion and Object 子過程 Motion and Process length Object and 測量 RealNumber and 厘米 比較多 RealNumber and 5.0 少於 RealNumber and 6.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性 比較多 RealNumber and RealNumber and 容易
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