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
-------------------------


(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 6037-6041
(domain MeasureFn 1 RealNumber) Merge.kif 6033-6033 计量函数 的 1 数量 是 实数instance
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6034-6034 计量函数 的 2 数量 是 测量单位instance
(instance MeasureFn BinaryFunction) Merge.kif 6031-6031 计量函数二元函数instance
(instance MeasureFn TotalValuedRelation) Merge.kif 6032-6032 计量函数总值关系instance
(range MeasureFn PhysicalQuantity) Merge.kif 6035-6035 计量函数range物理量 的实例

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


(format ChineseLanguage MeasureFn "%1 %2") chinese_format.kif 633-633
(format EnglishLanguage MeasureFn "%1 %2(s)") english_format.kif 639-639
(termFormat ChineseLanguage MeasureFn "测量") domainEnglishFormat.kif 36586-36586
(termFormat ChineseLanguage MeasureFn "计量函数") chinese_format.kif 634-634
(termFormat ChineseTraditionalLanguage MeasureFn "測量") domainEnglishFormat.kif 36585-36585
(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 36584-36584

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6890-6896 自身连接物体液体滴instance 和 1 的 approximate diameter 是 %2 和 500 是 lessThan 实数 若且唯若 那个 自身连接物体小滴液体instance
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6806-6817 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
(<=>
    (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 6835-6845 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3761-3765 测量单位测量单位instance 物理量 equal 1 那个 测量单位square 单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3569-3571 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3593-3595 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体东南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3577-3579 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3597-3599 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3581-3583 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西方
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3601-3603 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3585-3587 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3589-3591 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体东北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3573-3575 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11230-11236 客体measure 实数 公吨 若且唯若 那个 客体measure那个 实数 和 2205 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 客体measure 实数 圆周角度 若且唯若 那个 客体measure 是 60 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 客体measure 实数 弧分 若且唯若 那个 客体measure 是 60 和 那个 实数 弧秒
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10970-10975 客体measure 实数 OunceMass 若且唯若 那个 客体measure那个 实数 和 16 磅质量
(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))
Geography.kif 2489-2492 溶液measure 实数 酸碱度 若且唯若 那个 实数那个 溶液 的氢 potential
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Mid-level-ontology.kif 15678-15689
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2040-2047
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 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 2049-2059
(=>
    (and
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (instance ?SUBSTANCE ?TYPE)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (greaterThanOrEqualTo ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Gas))
        (exists (?BOIL)
            (and
                (overlapsTemporally
                    (WhenFn ?BOIL) ?TIME)
                (instance ?BOIL Boiling)
                (patient ?BOIL ?SUBSTANCE)))))
Merge.kif 12827-12840
(=>
    (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 658-668
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))
FinancialOntology.kif 732-737
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11162-11171

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3761-3765 测量单位测量单位instance 物理量 equal 1 那个 测量单位square 单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位
(<=>
    (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 1400-1410 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
(<=>
    (attribute ?WATER OpenSea)
    (and
        (instance ?WATER SaltWaterArea)
        (not
            (instance ?WATER LandlockedWater))
        (distance ?LAND ?WATER ?DIST)
        (greaterThan ?DIST
            (MeasureFn 5 NauticalMile))))
Geography.kif 4421-4429 公海 客体attribute 若且唯若 那个 客体盐水区instance那个 客体 不 是 内陆水域instance 物理那个 客体distance 长度测量那个 长度测量greaterThan 5 海里
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1918-1923 compressionRatio 发动机 and 实数 若且唯若 minCylinderVolume 那个 发动机 and 另一个 实数 测量单位maxCylinderVolume 那个 发动机 and 那个 测量单位AX 那个 测量单位那个 实数 equal 那个 另外 实数那个 测量单位AX
(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?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)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277 地缘政治区域 整数 year 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 数量第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 数量 equal 那个 实数
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442 地缘政治区域 整数 yearfemale 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 323-353 地缘政治区域 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398 地缘政治区域 整数 yearmale 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
(<=>
    (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 7358-7366 客体 larger 另一个 客体 若且唯若 对所有 实数另一个 实数, and 和 测量单位
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11230-11236 客体measure 实数 公吨 若且唯若 那个 客体measure那个 实数 和 2205 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 客体measure 实数 圆周角度 若且唯若 那个 客体measure 是 60 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 客体measure 实数 弧分 若且唯若 那个 客体measure 是 60 和 那个 实数 弧秒
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
Mid-level-ontology.kif 10970-10975 客体measure 实数 OunceMass 若且唯若 那个 客体measure那个 实数 和 16 磅质量
(=>
    (and
        (Process ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1131-1145
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 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 2049-2059
(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (lessThan ?T
                (MeasureFn 1 YearDuration)))))
Mid-level-ontology.kif 16425-16433
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 2 YearDuration))
            (lessThan ?T
                (MeasureFn 3 YearDuration)))))
Mid-level-ontology.kif 16439-16450
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 3 YearDuration))
            (lessThan ?T
                (MeasureFn 4 YearDuration)))))
Mid-level-ontology.kif 16456-16467
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 1 YearDuration))
            (lessThan ?T
                (MeasureFn 2 YearDuration)))))
Mid-level-ontology.kif 16473-16484
(=>
    (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 658-668
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))
FinancialOntology.kif 732-737
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11162-11171
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11172-11183
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY
                    (MultiplicationFn ?Q 1.5)))) Unlikely))
Mid-level-ontology.kif 11191-11200
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY
                    (MultiplicationFn ?Q .5)))) Unlikely))
Mid-level-ontology.kif 11202-11211

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(boilingPoint Actinium
    (MeasureFn 3470 KelvinDegree))
Mid-level-ontology.kif 27541-27541 3470 凯文度boiling
(boilingPoint Aluminum
    (MeasureFn 2740 KelvinDegree))
Mid-level-ontology.kif 27389-27389 2740 凯文度boiling
(boilingPoint Americium
    (MeasureFn 2880 KelvinDegree))
Mid-level-ontology.kif 27553-27553 2880 凯文度boiling
(boilingPoint Antimony
    (MeasureFn 2023 KelvinDegree))
Mid-level-ontology.kif 27465-27465 2023 凯文度boiling
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))
Mid-level-ontology.kif 27399-27399 87.29 凯文度boiling
(boilingPoint Arsenic
    (MeasureFn 886 KelvinDegree))
Mid-level-ontology.kif 27429-27429 886 凯文度boiling
(boilingPoint Astatine
    (MeasureFn 610 KelvinDegree))
Mid-level-ontology.kif 27533-27533 610 凯文度boiling
(boilingPoint Barium
    (MeasureFn 1913 KelvinDegree))
Mid-level-ontology.kif 27475-27475 1913 凯文度boiling
(boilingPoint Beryllium
    (MeasureFn 3243 KelvinDegree))
Mid-level-ontology.kif 27371-27371 3243 凯文度boiling
(boilingPoint Bismuth
    (MeasureFn 1833 KelvinDegree))
Mid-level-ontology.kif 27529-27529 1833 凯文度boiling
(boilingPoint Boron
    (MeasureFn 2823 KelvinDegree))
Mid-level-ontology.kif 27373-27373 2823 凯文度boiling
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))
Mid-level-ontology.kif 27433-27433 331.93 凯文度boiling
(boilingPoint Cadmium
    (MeasureFn 1038 KelvinDegree))
Mid-level-ontology.kif 27459-27459 1038 凯文度boiling
(boilingPoint Caesium
    (MeasureFn 963 KelvinDegree))
Mid-level-ontology.kif 27473-27473 963 凯文度boiling
(boilingPoint Calcium
    (MeasureFn 1760 KelvinDegree))
Mid-level-ontology.kif 27403-27403 1760 凯文度boiling
(boilingPoint Carbon
    (MeasureFn 5100 KelvinDegree))
Mid-level-ontology.kif 27375-27375 5100 凯文度boiling
(boilingPoint Cerium
    (MeasureFn 3530 KelvinDegree))
Mid-level-ontology.kif 27479-27479 3530 凯文度boiling
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))
Mid-level-ontology.kif 27397-27397 238.55 凯文度boiling
(boilingPoint Chromium
    (MeasureFn 2755 KelvinDegree))
Mid-level-ontology.kif 27411-27411 2755 凯文度boiling
(boilingPoint Cobalt
    (MeasureFn 3143 KelvinDegree))
Mid-level-ontology.kif 27417-27417 3143 凯文度boiling
(boilingPoint Copper
    (MeasureFn 2868 KelvinDegree))
Mid-level-ontology.kif 27421-27421 2868 凯文度boiling
(boilingPoint Dysprosium
    (MeasureFn 2608 KelvinDegree))
Mid-level-ontology.kif 27495-27495 2608 凯文度boiling
(boilingPoint Erbium
    (MeasureFn 2783 KelvinDegree))
Mid-level-ontology.kif 27499-27499 2783 凯文度boiling
(boilingPoint Europium
    (MeasureFn 1870 KelvinDegree))
Mid-level-ontology.kif 27489-27489 1870 凯文度boiling
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 27381-27381 85.01 凯文度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