Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasureFn
MeasureFn

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 6352-6356
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 6348-6348 測量, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 6349-6349 測量, 2 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6346-6346 測量 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 6347-6347 測量 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 範圍 測量 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 36671-36671
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 36670-36670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36669-36669
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 7524-7530 SelfConnectedObject and LiquidDrop SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 少於 500.0 and RealNumber SelfConnectedObject and Droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate 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 7469-7479 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObjectapproximate 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 3731-3733 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 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 3759-3761 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 3763-3765 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 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. Weather.kif 1702-1708 等於 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 3051-3062 金融工具 金融工具Price and RealNumber 協議 and 看漲期權 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 測量 金融工具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 3002-3013 金融工具 金融工具Price and RealNumber 協議 and 看漲期權 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 測量 金融工具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 3015-3026 金融工具 金融工具Price and RealNumber 協議 and 放選項 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 測量 金融工具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 3064-3075 金融工具 金融工具Price and RealNumber 協議 and 放選項 金融工具 協議underlier 金融工具 是 對於 AutonomousAgentprice 測量 金融工具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 1783-1787 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 1794-1798 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 1805-1809 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 1815-1819 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 1826-1830 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 1837-1841 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 1848-1852 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 13605-13611 測量 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 2680-2690 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 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 1928-1933 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 1702-1708 等於 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 7758-7766 更大 Object and Object RealNumber RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13605-13611 測量 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 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. Economy.kif 1129-1137 GeopoliticalArea測量 RealNumber and UnitOfMeasure TimeInterval 在 週期 行業屬性sector GDP 價值 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 測量 RealNumber and UnitOfMeasuresector GDP 價值 行業屬性
No TPTP formula. May not be expressible in strict first order. Merge.kif 7596-7611
No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18728-18737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18743-18753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18775-18785
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
No TPTP formula. May not be expressible in strict first order. Geography.kif 659-669

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 29358-29358 測量 3470.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29206-29206 測量 2740.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29370-29370 測量 2880.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29282-29282 測量 2023.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29216-29216 測量 87.29 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29246-29246 測量 886.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29350-29350 測量 610.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29292-29292 測量 1913.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29188-29188 測量 3243.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29346-29346 測量 1833.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29190-29190 測量 2823.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29250-29250 測量 331.93 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29276-29276 測量 1038.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29290-29290 測量 963.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29220-29220 測量 1760.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29192-29192 測量 5100.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29296-29296 測量 3530.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29214-29214 測量 238.55 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29228-29228 測量 2755.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29234-29234 測量 3143.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29238-29238 測量 2868.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29312-29312 測量 2608.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29316-29316 測量 2783.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29306-29306 測量 1870.0 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29198-29198 測量 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