No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度 是 PureSubstance 的 boiling 點 測量 RealNumber and 凱文度 是 PureSubstance 的 melting 點 測量 Object and 測量 RealNumber and 凱文度 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度 是 PureSubstance 的 melting 點 測量 RealNumber and 英寸汞 是 Object 的 barometric 壓力 比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度 少於 RealNumber and RealNumber attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8712-8719	例 TimeInterval and 年 Integer 例 TimeInterval and 年 Integer 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 開始 TimeInterval 比較多 Integer and Integer 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8721-8726	例 TimeInterval and 年 Integer 例 TimeInterval and 年 Integer 比較多 Integer and Integer 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 191-199	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的軌道 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 寬軌鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 219-227	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的雙軌規格 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and DualGaugeRailway 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 135-143	測量 RealNumber and 英里 是 GeographicArea 的電場軌道 length 比較多 RealNumber and 0 Physical 例 Physical and 電氣化鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 577-585	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的高速公路系統 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 高速公路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 163-171	測量 RealNumber and 英里 是 GeographicArea 的多軌鐵路 length 比較多 RealNumber and 0 Physical 例 Physical and 多軌鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 246-254	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的短規格鐵路的 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 窄軌鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 551-559	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的鋪設鐵路 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 浮出水面的巷道 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 274-282	測量 RealNumber and UnitOfMeasure GeographicArea 的 標準規格管線 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 標準軌距鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 308-316	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的未分類規格軌道 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 610-618	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的未鋪設高速公路 length 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 沒有鋪面的巷道 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	測量 Object and 測量 RealNumber and 流明 測量 Object and 測量 RealNumber and 流明 部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 等於 部 RealNumber and RealNumber and RealNumber contrastRatio Object and RealNumber Object Object, RealNumber and RealNumber 測量 Object and 測量 RealNumber and 流明 測量 Object and 測量 RealNumber and 流明 部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 比較多 部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2653-2658	測量 RealNumber and 儀表 是草案 WaterArea 的 navigable 測量 RealNumber and 儀表 是 水車 的 laden 草案 比較多 RealNumber and RealNumber 能力 水車 的 trip , 路徑 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	方位 Object, Region and 外 例 Object and Region 的 perimeter 地區 例 Object and 均勻的周邊區域 寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 比較多 減法 RealNumber and RealNumber and 0.0 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	協議 是 CognitiveAgent 的 party 協議 例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理 內容承載物理 是 協議 的 record 持有期間 何時 Process and 年齡 CognitiveAgent and 測量 entity and 年持續時間 比較多 entity and RealNumber attribute 協議 and 合法
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11104-11114	路徑 Motion and Object 起源 Motion and Object 目的地 Motion and Object length Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 部分 Object and Object 之間 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14623-14637	子類 Series and Periodical 等於 系列卷 Series and PositiveInteger and Text 等於 系列卷 Series and PositiveInteger and Text 比較多 PositiveInteger and PositiveInteger 例 Process and Publication 例 Process and Publication 例 Entity and Text 例 Entity and Text 患者 Process and Entity 患者 Process and Entity 日期 Process and Day 日期 Process and Day 之前 結束 Day and 結束 Day
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	車輛 的 top speed 是 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 例 Entity and UnitOfLength 例 Entity and UnitOfDuration 等於 RealNumber and 可能性 測量 車輛 and 速度 測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 等於 RealNumber and 可能性 測量 車輛 and 速度 測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 比較多 速度 LengthMeasure and TimeDuration and RealNumber 比較多 RealNumber and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1482-1491	GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著未鋪砌的跑道 的 total 設施類別 比較多 NonnegativeInteger and 0 Object Object 例 Object and 飛機場 例 Object and 未鋪砌的跑道 部分 Object and Object 位於 Object and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 493-501	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 高速公路系統長度 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 巷道 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 107-115	測量 RealNumber and 英里 是 GeographicArea 的 total 鐵路系統長度 比較多 RealNumber and 0 Physical 例 Physical and 鐵路 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 665-673	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 水路長路 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 水路 位於 Physical and GeographicArea
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