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 6377-6381
(documentation MeasureFn JapaneseLanguage "この BinaryFunction は、RealNumber と UnitOfMeasure をその Number 単位にマップする。　これは、PhysicalQuantity の「測定された」 インスタンスを表すために使用される。例: ３メートルの概念は(MeasureFn 3 Meter) として表され る。") japanese_format.kif 1125-1128
(domain MeasureFn 1 RealNumber) Merge.kif 6373-6373 MeasureFn の数値 1 引数は 実数 の instance では
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6374-6374 MeasureFn の数値 2 引数は 測定単位 の instance では
(instance MeasureFn BinaryFunction) Merge.kif 6371-6371 MeasureFn は 2変数関数 の instance では
(instance MeasureFn TotalValuedRelation) Merge.kif 6372-6372 MeasureFn は 合計値関係 の instance では
(range MeasureFn PhysicalQuantity) Merge.kif 6375-6375 MeasureFn の 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 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 36680-36680
(termFormat ChineseLanguage MeasureFn "计量函数") chinese_format.kif 634-634
(termFormat ChineseTraditionalLanguage MeasureFn "測量") domainEnglishFormat.kif 36679-36679
(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 36678-36678
(termFormat de MeasureFn "MassFn") terms-de.txt 245-245
(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 7861-7867 自己接続オブジェクト は LiquidDrop の instance では approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 500.0 は 実数 より less では 自己接続オブジェクト は Droplet の instance では
(<=>
    (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 7777-7788 オブジェクト は ParticulateMatter の instance では 自己接続オブジェクト は オブジェクト の part では approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10.0 は 実数 より greater では　 実数 は 2.5 より greater では　 オブジェクト10 オブジェクト10 は CoarseParticulateMatter の 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 7806-7816 オブジェクト は ParticulateMatter の instance では 自己接続オブジェクト は オブジェクト の part では approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　 オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では オブジェクト25 は オブジェクト の part では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3889-3891 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3913-3915 courseWRTTrueNorth オブジェクト, オブジェクト and 135.0 の AngularDegree(s) オブジェクト は Southeast 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3897-3899 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクト は South 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3917-3919 courseWRTTrueNorth オブジェクト, オブジェクト and 225.0 の AngularDegree(s) オブジェクト は Southwest 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3901-3903 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクト は West 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3921-3923 courseWRTTrueNorth オブジェクト, オブジェクト and 315.0 の AngularDegree(s) オブジェクト は Northwest 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3905-3907 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3909-3911 courseWRTTrueNorth オブジェクト, オブジェクト and 45.0 の AngularDegree(s) オブジェクト は Northeast 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3893-3895 courseWRTTrueNorth オブジェクト, オブジェクト and 90.0 の AngularDegree(s) オブジェクト は East 対 オブジェクト では
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 2531-2537 equal 関数量 and 実数 の MilesPerHour(s) equal 関数量 and 1 の HourDuration(s) per 実数 の Mile(s)
(<=>
    (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 3068-3079 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では 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 3019-3030 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では 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 3032-3043 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では 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 3081-3092 FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では outOfTheMoney Agreement and AutonomousAgent
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))		 Medicine.kif 1776-1780 hearingAcuity 人［人間］, -10 の Decibel(s) and 15 の Decibel(s) NormalHearingSensitivity は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))		 Medicine.kif 1787-1791 hearingAcuity 人［人間］, 16 の Decibel(s) and 25 の Decibel(s) BorderlineHearingSensitivity は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))		 Medicine.kif 1798-1802 hearingAcuity 人［人間］, 26 の Decibel(s) and 40 の Decibel(s) MildHearingLoss は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))		 Medicine.kif 1808-1812 hearingAcuity 人［人間］, 41 の Decibel(s) and 55 の Decibel(s) ModerateHearingLoss は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))		 Medicine.kif 1819-1823 hearingAcuity 人［人間］, 56 の Decibel(s) and 70 の Decibel(s) ModeratelySevereHearingLoss は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))		 Medicine.kif 1830-1834 hearingAcuity 人［人間］, 71 の Decibel(s) and 90 の Decibel(s) SevereHearingLoss は 人［人間］ の attribute では
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))		 Medicine.kif 1841-1845 hearingAcuity 人［人間］, 91 の Decibel(s) and 200 の Decibel(s) ProfoundHearingLoss は 人［人間］ の attribute では
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 14944-14950 物理 の measure は 実数 の MetricTon(s) では 物理 の measure は 実数 + 2205.0 の PoundMass(s) では

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 3509-3519 エンティティー は 地域 の instance では エンティティー には attribute StandardAmbientTemperaturePressure は 時間位置 の during holds airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置 の during holds
(<=>
    (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 では equal MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リスト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 では equal DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 1000 and 実数 equal 整数 and エンティティー class の instances の数 equal 整数 + 実数 and 実数
(<=>
    (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 では equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リスト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 では equal LifeExpectancyAtBirthFn 地政学的地域 and 年 and 実数 リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では リスト の length は 整数 の instance では リスト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 4951-4960 OpenSea は オブジェクト の attribute では 物理 実数 オブジェクト は 塩水地域 の instance では オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の distance は 実数 の NauticalMile(s) では 実数 は 5.0 より greater では　
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))		 Cars.kif 1912-1917 compressionRatio Engine and 実数 minCylinderVolume Engine and 実数 の 測定単位(s) maxCylinderVolume Engine and 測定単位AX の 測定単位(s) equal 実数 and 実数 + 測定単位AX
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 2531-2537 equal 関数量 and 実数 の MilesPerHour(s) equal 関数量 and 1 の HourDuration(s) per 実数 の Mile(s)
(<=>
    (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 7843-7851 オブジェクト は オブジェクト よりも larger 実数 実数 and 測定単位
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 14944-14950 物理 の measure は 実数 の MetricTon(s) では 物理 の measure は 実数 + 2205.0 の PoundMass(s) では
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 548-550 物理 の measure は 実数 の AngularDegree(s) では 物理 の measure は 60.0 + 実数 の ArcMinute(s) では
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 567-569 物理 の measure は 実数 の ArcMinute(s) では 物理 の measure は 60.0 + 実数 の ArcSecond(s) では
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))		 Mid-level-ontology.kif 14665-14670 物理 の measure は 実数 の OunceMass(s) では 物理 の measure は 実数 + 16.0 の PoundMass(s) では
(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR
                    (MeasureFn ?AMOUNT ?CUNIT))))))		 Economy.kif 1220-1228 sectorValueOfGDPInPeriod 地政学的地域, IndustryAttribute, 実数 の 測定単位(s) and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では sectorValueOfGDP 地政学的地域, IndustryAttribute and 実数 の 測定単位(s) は 時間位置 の during holds
(=>
    (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 7647-7662
(=>
    (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 2238-2248
(=>
    (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 2250-2264
(=>
    (and
        (arcLength ?SEMI
            (MeasureFn ?L ?U))
        (equal ?SEMI SemicircularArc))
    (exists (?CIR ?C)
        (and
            (equal ?CIR Circle)
            (geometricPart ?SEMI ?CIR)
            (circumference ?CIR
                (MeasureFn ?C ?U))
            (equal ?C
                (AdditionFn ?L ?L)))))		 Mid-level-ontology.kif 5700-5710
(=>
    (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 20299-20308
(=>
    (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 20314-20324
(=>
    (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 20330-20340
(=>
    (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 20346-20356
(=>
    (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 1194-1209
(=>
    (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 1094-1114

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 31277-31277 boilingPoint Actinium and 3470.0 の KelvinDegree(s)
(boilingPoint Aluminum
    (MeasureFn 2740.0 KelvinDegree))		 Mid-level-ontology.kif 31125-31125 boilingPoint Aluminum and 2740.0 の KelvinDegree(s)
(boilingPoint Americium
    (MeasureFn 2880.0 KelvinDegree))		 Mid-level-ontology.kif 31289-31289 boilingPoint Americium and 2880.0 の KelvinDegree(s)
(boilingPoint Antimony
    (MeasureFn 2023.0 KelvinDegree))		 Mid-level-ontology.kif 31201-31201 boilingPoint Antimony and 2023.0 の KelvinDegree(s)
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))		 Mid-level-ontology.kif 31135-31135 boilingPoint Argon and 87.29 の KelvinDegree(s)
(boilingPoint Arsenic
    (MeasureFn 886.0 KelvinDegree))		 Mid-level-ontology.kif 31165-31165 boilingPoint Arsenic and 886.0 の KelvinDegree(s)
(boilingPoint Astatine
    (MeasureFn 610.0 KelvinDegree))		 Mid-level-ontology.kif 31269-31269 boilingPoint Astatine and 610.0 の KelvinDegree(s)
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))		 Mid-level-ontology.kif 31211-31211 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(boilingPoint Beryllium
    (MeasureFn 3243.0 KelvinDegree))		 Mid-level-ontology.kif 31107-31107 boilingPoint Beryllium and 3243.0 の KelvinDegree(s)
(boilingPoint Bismuth
    (MeasureFn 1833.0 KelvinDegree))		 Mid-level-ontology.kif 31265-31265 boilingPoint Bismuth and 1833.0 の KelvinDegree(s)
(boilingPoint Boron
    (MeasureFn 2823.0 KelvinDegree))		 Mid-level-ontology.kif 31109-31109 boilingPoint Boron and 2823.0 の KelvinDegree(s)
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))		 Mid-level-ontology.kif 31169-31169 boilingPoint Bromine and 331.93 の KelvinDegree(s)
(boilingPoint Cadmium
    (MeasureFn 1038.0 KelvinDegree))		 Mid-level-ontology.kif 31195-31195 boilingPoint Cadmium and 1038.0 の KelvinDegree(s)
(boilingPoint Caesium
    (MeasureFn 963.0 KelvinDegree))		 Mid-level-ontology.kif 31209-31209 boilingPoint Caesium and 963.0 の KelvinDegree(s)
(boilingPoint Calcium
    (MeasureFn 1760.0 KelvinDegree))		 Mid-level-ontology.kif 31139-31139 boilingPoint Calcium and 1760.0 の KelvinDegree(s)
(boilingPoint Carbon
    (MeasureFn 5100.0 KelvinDegree))		 Mid-level-ontology.kif 31111-31111 boilingPoint Carbon and 5100.0 の KelvinDegree(s)
(boilingPoint Cerium
    (MeasureFn 3530.0 KelvinDegree))		 Mid-level-ontology.kif 31215-31215 boilingPoint Cerium and 3530.0 の KelvinDegree(s)
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))		 Mid-level-ontology.kif 31133-31133 boilingPoint Chlorine and 238.55 の KelvinDegree(s)
(boilingPoint Chromium
    (MeasureFn 2755.0 KelvinDegree))		 Mid-level-ontology.kif 31147-31147 boilingPoint Chromium and 2755.0 の KelvinDegree(s)
(boilingPoint Cobalt
    (MeasureFn 3143.0 KelvinDegree))		 Mid-level-ontology.kif 31153-31153 boilingPoint Cobalt and 3143.0 の KelvinDegree(s)
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))		 Mid-level-ontology.kif 31157-31157 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(boilingPoint Dysprosium
    (MeasureFn 2608.0 KelvinDegree))		 Mid-level-ontology.kif 31231-31231 boilingPoint Dysprosium and 2608.0 の KelvinDegree(s)
(boilingPoint Erbium
    (MeasureFn 2783.0 KelvinDegree))		 Mid-level-ontology.kif 31235-31235 boilingPoint Erbium and 2783.0 の KelvinDegree(s)
(boilingPoint Europium
    (MeasureFn 1870.0 KelvinDegree))		 Mid-level-ontology.kif 31225-31225 boilingPoint Europium and 1870.0 の KelvinDegree(s)
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))		 Mid-level-ontology.kif 31117-31117 boilingPoint Fluorine and 85.01 の KelvinDegree(s)

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