Sigma KEE - MeasureFn

No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	測量 Physical and 測量 RealNumber and 圓周角度測量 Physical and 測量乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	測量 Physical and 測量 RealNumber and 弧分測量 Physical and 測量乘法 60.0 and RealNumber and 弧秒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13326-13331	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	測量 Solution and 測量 RealNumber and 酸鹼度 RealNumber 是 Solution 的氫 potential
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	GeopoliticalArea 是測量 RealNumber and UnitOfMeasure 和 TimeInterval 在週期行業屬性的 sector GDP 價值 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是對於測量 RealNumber and UnitOfMeasure 的 sector GDP 價值行業屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 RealNumber and AreaMeasure 等於 RealNumber and 乘法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 arable 土地大於或等於 RealNumber and 0.0 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea GeographicArea 例 GeographicArea and 耕地 GeographicArea 是 GeographicArea 的 geographic 次要地區測量 GeographicArea and 測量乘法 RealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure attribute Object and FamilyStylePortion 測量 Object and 測量 RealNumber and UnitOfMeasure 例 Object and Class 例 Object and Class 例 UnitOfMeasure and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	GeopoliticalArea 在週期測量 RealNumber and UnitOfMeasure 對於 TimeInterval 的 capital 地區支出 GeopoliticalArea 對於 TimeInterval 在週期測量 RealNumber and UnitOfMeasure 的 annual 地區消費比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	寒冷氣候帶是 GeographicArea 地區的 climate 類別 TimeInterval 例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 10.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	沙漠氣候區是 GeographicArea 地區的 climate 類別例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度比較多 RealNumber and 18.0 亞熱帶沙漠氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	極地型F氣候區是 GeographicArea 地區的 climate 類別例 TimePosition and TimePosition 持有期間 TimePosition and 測量 entity and 攝氏度是 GeographicArea 的 air 溫度持有期間 TimePosition and 比較多 10.0 and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	溫帶氣候區是 GeographicArea 地區的 climate 類別例 TimeInterval and Month 1 對於 %3 在 %2 週期的 average 溫度大於或等於 RealNumber and -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	熱帶氣候區是 GeographicArea 地區的 climate 類別例 Month and Month GeographicArea 對於測量 RealNumber and 毫儀表在 Month 週期的 average 降雨量大於或等於 RealNumber and 60.0 濕熱帶氣候區是 GeographicArea 地區的 climate 類別
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	GeographicArea comparative 地區 BinaryRelationExtendedToQuantities 對於 PositiveRealNumber 跟 GeographicArea 在一起例 UnitOfMeasure and UnitOfArea 測量 GeographicArea and 測量 RealNumber and UnitOfMeasure 測量 GeographicArea and 測量 RealNumber and UnitOfMeasure BinaryRelationExtendedToQuantities 測量 RealNumber and UnitOfMeasure and 測量乘法 PositiveRealNumber and RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration 測量 RealNumber and UnitOfMeasure, Substance, 測量 RealNumber and UnitOfMeasure and Mixture 例 SubstanceI and Substance 部分 SubstanceI and Mixture 測量 SubstanceI and 測量 RealNumber and UnitOfMeasure 部分 SubstanceI and Mixture 例 SubstanceI2 and Substance 等於 SubstanceI and SubstanceIE2 部分 SubstanceI2 and Mixture 測量 Mixture and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶是對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 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