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 MeasureFn の数値 1 引数は 実数instance では %n
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6349-6349 MeasureFn の数値 2 引数は 測定単位instance では %n
(instance MeasureFn BinaryFunction) Merge.kif 6346-6346 MeasureFn2変数関数instance では %n
(instance MeasureFn TotalValuedRelation) Merge.kif 6347-6347 MeasureFn合計値関係instance では %n
(range MeasureFn PhysicalQuantity) Merge.kif 6350-6350 MeasureFnrange物理量 のインスタンス では %n

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 自己接続オブジェクトLiquidDropinstance では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 500.0 は 実数 より less では %n 自己接続オブジェクトDropletinstance では %n
(<=>
    (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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10.0 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では %n オブジェクト10 は オブジェクトpart では %n
(<=>
    (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 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では %n オブジェクト25 は オブジェクトpart では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3731-3733 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3755-3757 courseWRTTrueNorth オブジェクト, オブジェクト and 135.0 の AngularDegree(s) オブジェクトSoutheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクトSouth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3759-3761 courseWRTTrueNorth オブジェクト, オブジェクト and 225.0 の AngularDegree(s) オブジェクトSouthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクトWest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3763-3765 courseWRTTrueNorth オブジェクト, オブジェクト and 315.0 の AngularDegree(s) オブジェクトNorthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3747-3749 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 courseWRTTrueNorth オブジェクト, オブジェクト and 45.0 の AngularDegree(s) オブジェクトNortheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3735-3737 courseWRTTrueNorth オブジェクト, オブジェクト and 90.0 の AngularDegree(s) オブジェクトEast オブジェクト では %n
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 関数量 実数MilesPerHour(s) と equal では %n 関数量 は 1 の HourDuration(s) per 実数Mile(s) と equal では %n
(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementCallOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementCallOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) 実数 FinancialInstrumentPrice より less では %n inTheMoney Agreement and AutonomousAgent
(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementPutOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n inTheMoney Agreement and AutonomousAgent
(<=>
    (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 FinancialInstrument FinancialInstrumentPrice and 実数 AgreementPutOptioninstance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位UnitOfCurrencyinstance では %n strikePrice Agreement and 実数 測定単位(s) 実数 FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1783-1787 hearingAcuity 人[人間], -10 の Decibel(s) and 15 の Decibel(s) NormalHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1794-1798 hearingAcuity 人[人間], 16 の Decibel(s) and 25 の Decibel(s) BorderlineHearingSensitivity 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1805-1809 hearingAcuity 人[人間], 26 の Decibel(s) and 40 の Decibel(s) MildHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1815-1819 hearingAcuity 人[人間], 41 の Decibel(s) and 55 の Decibel(s) ModerateHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1826-1830 hearingAcuity 人[人間], 56 の Decibel(s) and 70 の Decibel(s) ModeratelySevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1837-1841 hearingAcuity 人[人間], 71 の Decibel(s) and 90 の Decibel(s) SevereHearingLoss 人[人間]attribute では %n
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1848-1852 hearingAcuity 人[人間], 91 の Decibel(s) and 200 の Decibel(s) ProfoundHearingLoss 人[人間]attribute では %n
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13605-13611 物理measure 実数MetricTon(s) では %n 物理measure 実数 + 2205.0 の PoundMass(s) では %n

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 エンティティー地域instance では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置during holds %n{ない}
(<=>
    (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 EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 実数equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では %n リストlength 整数instance では %n リストITEM average リスト and 実数
(<=>
    (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 整数 year 目 の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 実数equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 + 1000 は 実数equal では %n 整数 エンティティー classinstances の数 と equal では %n 整数 + 実数 実数equal では %n
(<=>
    (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 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 実数equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では %n リストlength 整数instance では %n リストITEM average リスト and 実数
(<=>
    (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 整数 year 目 の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 実数equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リストリストinstance では %n リストlength 整数instance では %n リストITEM average リスト and 実数
(<=>
    (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 OpenSea オブジェクトattribute では %n 物理 実数 オブジェクト塩水地域instance では %n オブジェクトLandlockedWaterinstance では 物理 オブジェクトdistance 実数NauticalMile(s) では %n 実数 は 5.0 より greater では %n
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1928-1933 compressionRatio Engine and 実数 minCylinderVolume Engine and 実数 測定単位(s) maxCylinderVolume Engine and 測定単位AX の 測定単位(s) 実数 実数 + 測定単位AX と equal では %n
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 関数量 実数MilesPerHour(s) と equal では %n 関数量 は 1 の HourDuration(s) per 実数Mile(s) と equal では %n
(<=>
    (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 オブジェクト オブジェクト よりも larger %n 実数 実数 and 測定単位
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13605-13611 物理measure 実数MetricTon(s) では %n 物理measure 実数 + 2205.0 の PoundMass(s) では %n
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))
Geography.kif 378-380 物理measure 実数AngularDegree(s) では %n 物理measure は 60.0 + 実数ArcMinute(s) では %n
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))
Geography.kif 397-399 物理measure 実数ArcMinute(s) では %n 物理measure は 60.0 + 実数ArcSecond(s) では %n
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 13326-13331 物理measure 実数OunceMass(s) では %n 物理measure 実数 + 16.0 の PoundMass(s) では %n
(<=>
    (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 sectorValueOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 測定単位(s) and 時間間隔 時間位置 時間位置 時間間隔instance では %n sectorValueOfGDP 地政学的地域, IndustryAttribute and 実数 測定単位(s) は 時間位置during holds %n{ない}
(=>
    (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 boilingPoint Actinium and 3470.0 の KelvinDegree(s)
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))
Mid-level-ontology.kif 29206-29206 boilingPoint Aluminum and 2740.0 の KelvinDegree(s)
(boilingPoint Americium
    (MeasureFn 2880.0 KelvinDegree))
Mid-level-ontology.kif 29370-29370 boilingPoint Americium and 2880.0 の KelvinDegree(s)
(boilingPoint Antimony
    (MeasureFn 2023.0 KelvinDegree))
Mid-level-ontology.kif 29282-29282 boilingPoint Antimony and 2023.0 の KelvinDegree(s)
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))
Mid-level-ontology.kif 29216-29216 boilingPoint Argon and 87.29 の KelvinDegree(s)
(boilingPoint Arsenic
    (MeasureFn 886.0 KelvinDegree))
Mid-level-ontology.kif 29246-29246 boilingPoint Arsenic and 886.0 の KelvinDegree(s)
(boilingPoint Astatine
    (MeasureFn 610.0 KelvinDegree))
Mid-level-ontology.kif 29350-29350 boilingPoint Astatine and 610.0 の KelvinDegree(s)
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29292-29292 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(boilingPoint Beryllium
    (MeasureFn 3243.0 KelvinDegree))
Mid-level-ontology.kif 29188-29188 boilingPoint Beryllium and 3243.0 の KelvinDegree(s)
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))
Mid-level-ontology.kif 29346-29346 boilingPoint Bismuth and 1833.0 の KelvinDegree(s)
(boilingPoint Boron
    (MeasureFn 2823.0 KelvinDegree))
Mid-level-ontology.kif 29190-29190 boilingPoint Boron and 2823.0 の KelvinDegree(s)
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))
Mid-level-ontology.kif 29250-29250 boilingPoint Bromine and 331.93 の KelvinDegree(s)
(boilingPoint Cadmium
    (MeasureFn 1038.0 KelvinDegree))
Mid-level-ontology.kif 29276-29276 boilingPoint Cadmium and 1038.0 の KelvinDegree(s)
(boilingPoint Caesium
    (MeasureFn 963.0 KelvinDegree))
Mid-level-ontology.kif 29290-29290 boilingPoint Caesium and 963.0 の KelvinDegree(s)
(boilingPoint Calcium
    (MeasureFn 1760.0 KelvinDegree))
Mid-level-ontology.kif 29220-29220 boilingPoint Calcium and 1760.0 の KelvinDegree(s)
(boilingPoint Carbon
    (MeasureFn 5100.0 KelvinDegree))
Mid-level-ontology.kif 29192-29192 boilingPoint Carbon and 5100.0 の KelvinDegree(s)
(boilingPoint Cerium
    (MeasureFn 3530.0 KelvinDegree))
Mid-level-ontology.kif 29296-29296 boilingPoint Cerium and 3530.0 の KelvinDegree(s)
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))
Mid-level-ontology.kif 29214-29214 boilingPoint Chlorine and 238.55 の KelvinDegree(s)
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))
Mid-level-ontology.kif 29228-29228 boilingPoint Chromium and 2755.0 の KelvinDegree(s)
(boilingPoint Cobalt
    (MeasureFn 3143.0 KelvinDegree))
Mid-level-ontology.kif 29234-29234 boilingPoint Cobalt and 3143.0 の KelvinDegree(s)
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 29238-29238 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(boilingPoint Dysprosium
    (MeasureFn 2608.0 KelvinDegree))
Mid-level-ontology.kif 29312-29312 boilingPoint Dysprosium and 2608.0 の KelvinDegree(s)
(boilingPoint Erbium
    (MeasureFn 2783.0 KelvinDegree))
Mid-level-ontology.kif 29316-29316 boilingPoint Erbium and 2783.0 の KelvinDegree(s)
(boilingPoint Europium
    (MeasureFn 1870.0 KelvinDegree))
Mid-level-ontology.kif 29306-29306 boilingPoint Europium and 1870.0 の KelvinDegree(s)
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 29198-29198 boilingPoint Fluorine and 85.01 の KelvinDegree(s)

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