MeasureFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6362-6366
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6358	域測量, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6359-6359	域測量, 2 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6356-6356	例測量 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6357-6357	例測量 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6360-6360	範圍測量 and PhysicalQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.	english_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.	french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36697-36697
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36696-36696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36695-36695
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 245-245
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 353-353

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7594-7600	例 SelfConnectedObject and LiquidDrop SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 少於 500.0 and RealNumber 例 SelfConnectedObject and Droplet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7510-7521	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7539-7549	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3719-3721	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3727-3729	Object 對於 %3 courseWRT 實際北方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3731-3733	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	Object 對於 %3 courseWRT 實際北方位 Object, Object and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3723-3725	Object 對於 %3 courseWRT 實際北方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1684-1690	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3068-3079	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3019-3030	金融工具金融工具Price and RealNumber 例協議 and 看漲期權金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3032-3043	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於金融工具Price and RealNumber AutonomousAgent 是協議的 in 金錢
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3081-3092	金融工具金融工具Price and RealNumber 例協議 and 放選項金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price 測量金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是協議的 strike 價錢少於 RealNumber and 金融工具Price AutonomousAgent 是協議的 out 資兂短缺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1776-1780	hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1787-1791	hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1798-1802	hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1808-1812	hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1819-1823	hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1830-1834	hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1841-1845	hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14962-14968	測量 Physical and 測量 RealNumber and 公噸測量 Physical and 測量乘法 RealNumber and 2205.0 and 磅質量

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2662-2672	例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度是 Entity 的 air 溫度測量 29.530 and 英寸汞是 Entity 的 barometric 壓力
No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4781-4790	attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域距離 Physical, Object and 測量 RealNumber and 海裡比較多 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1912-1917	compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and 部 RealNumber and UnitOfMeasureAX
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1684-1690	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7828-7836	更大 Object and Object RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14962-14968	測量 Physical and 測量 RealNumber and 公噸測量 Physical and 測量乘法 RealNumber and 2205.0 and 磅質量
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 14683-14688	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1220-1228	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 7632-7647	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.	Geography.kif 2068-2078	測量 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 2080-2094	測量 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.	Mid-level-ontology.kif 5719-5729	arcLength CircularArc and 測量 RealNumber and UnitOfMeasure 等於 CircularArc and SemicircularArc 圈 RealNumber 等於圈 and 圈圈是 CircularArc 的 geometric 部分 circumference 圈 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 加成 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	attribute AutonomousAgent and 穆斯林等於財富 AutonomousAgent and CurrencyMeasure 模態屬性 entity entity, entity, entity and entity 例 entity and 天課例 entity and 年期間 entity and 何時 AutonomousAgent 持有期間 entity and attribute AutonomousAgent and 完全成型 agent entity and AutonomousAgent 患者 entity and entity 貨幣價值 entity and 測量 entity and entity 例 entity and UnitOfCurrency 比較多 entity and 乘法 CurrencyMeasure and 0.025 and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20316-20325	attribute Position and 大學新生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 少於 RealNumber and 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20331-20341	attribute Position and 大學三年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 2 少於 RealNumber and 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20347-20357	attribute Position and 大學高年級佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 3 少於 RealNumber and 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20363-20373	attribute Position and 大學二年級學生佔據位置 Human, Position and Organization RealNumber 持有期間測量 RealNumber and 年持續時間 and Human 是 Organization 的 student 大於或等於 RealNumber and 1 少於 RealNumber and 2
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31036-31036	測量 3470.0 and 凱文度是錒的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30884-30884	測量 2740.0 and 凱文度是鋁的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31048-31048	測量 2880.0 and 凱文度是銤的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30960-30960	測量 2023.0 and 凱文度是銻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30894-30894	測量 87.29 and 凱文度是氬的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30924-30924	測量 886.0 and 凱文度是砷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31028-31028	測量 610.0 and 凱文度是砹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30970-30970	測量 1913.0 and 凱文度是鋇的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30866-30866	測量 3243.0 and 凱文度是鈹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31024-31024	測量 1833.0 and 凱文度是鉍的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30868-30868	測量 2823.0 and 凱文度是硼的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30928-30928	測量 331.93 and 凱文度是溴的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30954-30954	測量 1038.0 and 凱文度是鎘的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30968-30968	測量 963.0 and 凱文度是銫的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30898	測量 1760.0 and 凱文度是鈣的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30870-30870	測量 5100.0 and 凱文度是碳的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30974-30974	測量 3530.0 and 凱文度是鈰的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30892-30892	測量 238.55 and 凱文度是氯的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30906-30906	測量 2755.0 and 凱文度是鉻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30912-30912	測量 3143.0 and 凱文度是鈷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30916-30916	測量 2868.0 and 凱文度是銅的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30990-30990	測量 2608.0 and 凱文度是鏑的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30994-30994	測量 2783.0 and 凱文度是鉺的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30984-30984	測量 1870.0 and 凱文度是銪的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30876-30876	測量 85.01 and 凱文度是氟的 boiling 點

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: