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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasureFn

Sigma KEE - MeasureFn
MeasureFn

appearance as argument number 1
-------------------------


(documentation MeasureFn ChineseLanguage "这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如:三米可以这样来表示 (MeasureFn 3Meter)。") chinese_format.kif 2434-2436
(documentation MeasureFn EnglishLanguage "This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured' instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).") Merge.kif 6352-6356
(documentation MeasureFn JapaneseLanguage "この BinaryFunction は、RealNumberUnitOfMeasure をその Number 単位にマップする。 これは、PhysicalQuantity の「測定された」 インスタンスを表すために使用される。例: 3メートルの概念は(MeasureFn 3 Meter) として表され る。") japanese_format.kif 1125-1128
(domain MeasureFn 1 RealNumber) Merge.kif 6348-6348 測量, 1 and RealNumber
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6349-6349 測量, 2 and UnitOfMeasure
(instance MeasureFn BinaryFunction) Merge.kif 6346-6346 測量 and BinaryFunction
(instance MeasureFn TotalValuedRelation) Merge.kif 6347-6347 測量 and TotalValuedRelation
(range MeasureFn PhysicalQuantity) Merge.kif 6350-6350 範圍 測量 and PhysicalQuantity

appearance as argument number 2
-------------------------


(format ChineseLanguage MeasureFn "%1 %2") chinese_format.kif 633-633
(format EnglishLanguage MeasureFn "%1 %2(s)") english_format.kif 636-636
(format FrenchLanguage MeasureFn "%1 %2(s)") french_format.kif 383-383
(format ItalianLanguage MeasureFn "%1 %2(s") relations-it.txt 178-178
(format JapaneseLanguage MeasureFn "%1 の %2(s)") japanese_format.kif 2113-2113
(format PortugueseLanguage MeasureFn "%1 %2(s)") portuguese_format.kif 335-335
(format cz MeasureFn "%1 %2(s)") relations-cz.txt 392-392
(format de MeasureFn "%1 %2(s)") relations-de.txt 829-829
(format hi MeasureFn "%1 %2(") relations-hindi.txt 216-216
(format ro MeasureFn "%1 %2(s)") relations-ro.kif 405-405
(format sv MeasureFn "%1 %2(s)") relations-sv.txt 426-426
(termFormat ChineseLanguage MeasureFn "测量") domainEnglishFormat.kif 36671-36671
(termFormat ChineseLanguage MeasureFn "计量函数") chinese_format.kif 634-634
(termFormat ChineseTraditionalLanguage MeasureFn "測量") domainEnglishFormat.kif 36670-36670
(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 36669-36669
(termFormat tg MeasureFn "tungkulin ng sukatan") relations-tg.txt 353-353

antecedent
-------------------------


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))
Geography.kif 7524-7530 SelfConnectedObject and LiquidDrop SelfConnectedObjectapproximate diameter測量 RealNumber and Micrometer 少於 500.0 and RealNumber SelfConnectedObject and Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
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
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))
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
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3731-3733 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3755-3757 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3759-3761 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3763-3765 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3747-3749 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3735-3737 Object 對於 %3 courseWRT 實際北 方位 Object, Object and
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
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 資兂短缺
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
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 金錢
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
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 金錢
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
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 資兂短缺
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1783-1787 hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1794-1798 hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1805-1809 hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1815-1819 hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1826-1830 hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1837-1841 hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1848-1852 hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
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
-------------------------


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 2680-2690 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
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
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
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
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
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
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))
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
(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))
Geography.kif 4711-4720 attribute Object and 公海 Physical RealNumber Object and SaltWaterArea Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 5.0
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1928-1933 compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and RealNumber and UnitOfMeasureAX
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度 測量 RealNumber and 英里 and 測量 1 and 小時
(<=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
        (=>
            (and
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))
Merge.kif 7758-7766 更大 Object and Object RealNumber RealNumber and UnitOfMeasure
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13605-13611 測量 Physical and 測量 RealNumber and 公噸 測量 Physical and 測量 乘法 RealNumber and 2205.0 and 磅質量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))
Geography.kif 378-380 測量 Physical and 測量 RealNumber and 圓周角度 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))
Geography.kif 397-399 測量 Physical and 測量 RealNumber and 弧分 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧秒
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 13326-13331 測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量 RealNumber and 16.0 and 磅質量
(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR
                    (MeasureFn ?AMOUNT ?CUNIT))))))
Economy.kif 1129-1137 GeopoliticalArea測量 RealNumber and UnitOfMeasure TimeInterval 在 週期 行業屬性sector GDP 價值 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 測量 RealNumber and UnitOfMeasuresector GDP 價值 行業屬性
(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO ?U))
            (equal ?N
                (ListSumFn ?L)))))
Merge.kif 7596-7611
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))
Geography.kif 2080-2090
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 204-223
(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (lessThan ?T 1))))
Mid-level-ontology.kif 18728-18737
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 2)
            (lessThan ?T 3))))
Mid-level-ontology.kif 18743-18753
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 3)
            (lessThan ?T 4))))
Mid-level-ontology.kif 18759-18769
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 1)
            (lessThan ?T 2))))
Mid-level-ontology.kif 18775-18785
(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1186-1201
(=>
    (and
        (citizen ?AGENT ?POLITY)
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY)))
    (confersRight
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY
                        (MeasureFn ?VOTINGAGE YearDuration))
                    (age ?AGENT
                        (MeasureFn ?AGE YearDuration))
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))
Government.kif 1132-1152
(=>
    (and
        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
    (?RELATION
        (MeasureFn ?NUM1 ?UNIT)
        (MeasureFn
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(boilingPoint Actinium
    (MeasureFn 3470.0 KelvinDegree))
Mid-level-ontology.kif 29358-29358 測量 3470.0 and 凱文度boiling
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))
Mid-level-ontology.kif 29206-29206 測量 2740.0 and 凱文度boiling
(boilingPoint Americium
    (MeasureFn 2880.0 KelvinDegree))
Mid-level-ontology.kif 29370-29370 測量 2880.0 and 凱文度boiling
(boilingPoint Antimony
    (MeasureFn 2023.0 KelvinDegree))
Mid-level-ontology.kif 29282-29282 測量 2023.0 and 凱文度boiling
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))
Mid-level-ontology.kif 29216-29216 測量 87.29 and 凱文度boiling
(boilingPoint Arsenic
    (MeasureFn 886.0 KelvinDegree))
Mid-level-ontology.kif 29246-29246 測量 886.0 and 凱文度boiling
(boilingPoint Astatine
    (MeasureFn 610.0 KelvinDegree))
Mid-level-ontology.kif 29350-29350 測量 610.0 and 凱文度boiling
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29292-29292 測量 1913.0 and 凱文度boiling
(boilingPoint Beryllium
    (MeasureFn 3243.0 KelvinDegree))
Mid-level-ontology.kif 29188-29188 測量 3243.0 and 凱文度boiling
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))
Mid-level-ontology.kif 29346-29346 測量 1833.0 and 凱文度boiling
(boilingPoint Boron
    (MeasureFn 2823.0 KelvinDegree))
Mid-level-ontology.kif 29190-29190 測量 2823.0 and 凱文度boiling
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))
Mid-level-ontology.kif 29250-29250 測量 331.93 and 凱文度boiling
(boilingPoint Cadmium
    (MeasureFn 1038.0 KelvinDegree))
Mid-level-ontology.kif 29276-29276 測量 1038.0 and 凱文度boiling
(boilingPoint Caesium
    (MeasureFn 963.0 KelvinDegree))
Mid-level-ontology.kif 29290-29290 測量 963.0 and 凱文度boiling
(boilingPoint Calcium
    (MeasureFn 1760.0 KelvinDegree))
Mid-level-ontology.kif 29220-29220 測量 1760.0 and 凱文度boiling
(boilingPoint Carbon
    (MeasureFn 5100.0 KelvinDegree))
Mid-level-ontology.kif 29192-29192 測量 5100.0 and 凱文度boiling
(boilingPoint Cerium
    (MeasureFn 3530.0 KelvinDegree))
Mid-level-ontology.kif 29296-29296 測量 3530.0 and 凱文度boiling
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))
Mid-level-ontology.kif 29214-29214 測量 238.55 and 凱文度boiling
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 29228-29228 測量 2755.0 and 凱文度boiling
(boilingPoint Cobalt
    (MeasureFn 3143.0 KelvinDegree))
Mid-level-ontology.kif 29234-29234 測量 3143.0 and 凱文度boiling
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 29238-29238 測量 2868.0 and 凱文度boiling
(boilingPoint Dysprosium
    (MeasureFn 2608.0 KelvinDegree))
Mid-level-ontology.kif 29312-29312 測量 2608.0 and 凱文度boiling
(boilingPoint Erbium
    (MeasureFn 2783.0 KelvinDegree))
Mid-level-ontology.kif 29316-29316 測量 2783.0 and 凱文度boiling
(boilingPoint Europium
    (MeasureFn 1870.0 KelvinDegree))
Mid-level-ontology.kif 29306-29306 測量 1870.0 and 凱文度boiling
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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