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 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 Le nombre 1 argument de MeasureFn est une instance de nombre r�el
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6349-6349 Le nombre 2 argument de MeasureFn est une instance de unit� de mesure
(instance MeasureFn BinaryFunction) Merge.kif 6346-6346 MeasureFn est une instance de fonction binaire
(instance MeasureFn TotalValuedRelation) Merge.kif 6347-6347 MeasureFn est une instance de relation total
(range MeasureFn PhysicalQuantity) Merge.kif 6350-6350 Le domaine de MeasureFn est une instance de quantit� physique

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 Objet en une partie est une instance de LiquidDrop approximateDiameter objet en une partie and nombre r�el Micrometer(s) 500.0 est moins que nombre r�el objet en une partie est une instance de Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 7440-7451 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
(<=>
    (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 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3731-3733 courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3755-3757 courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3759-3761 courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3763-3765 courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3747-3749 courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast objet
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3735-3737 courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East objet
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(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 3051-3062 FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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 nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice 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 nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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 nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1783-1787 hearingAcuity humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1794-1798 hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1805-1809 hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1815-1819 hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1826-1830 hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1837-1841 hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1848-1852 hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13605-13611 La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 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 2680-2690 Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
(<=>
    (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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (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 est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1928-1933 compressionRatio Engine and nombre r�el minCylinderVolume Engine and nombre r�el unit� de mesure(s) maxCylinderVolume Engine and unit� de mesureAX unit� de mesure(s) nombre r�el est nombre r�el + unit� de mesureAX
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))
Weather.kif 1702-1708 Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(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 7758-7766 Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13605-13611 La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))
Geography.kif 378-380 La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))
Geography.kif 397-399 La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16.0) PoundMass)))
Mid-level-ontology.kif 13326-13331 La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 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 1129-1137 sectorValueOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el unit� de mesure(s) and interval temporel position temporel position temporel est une instance de interval temporel sectorValueOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el unit� de mesure(s) pendant position temporel
(=>
    (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 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