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 6091-6095
(domain MeasureFn 1 RealNumber) Merge.kif 6087-6087 domain MeasureFn, 1 and RealNumber
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6088-6088 domain MeasureFn, 2 and UnitOfMeasure
(instance MeasureFn BinaryFunction) Merge.kif 6085-6085 instance MeasureFn and BinaryFunction
(instance MeasureFn TotalValuedRelation) Merge.kif 6086-6086 instance MeasureFn and TotalValuedRelation
(range MeasureFn PhysicalQuantity) Merge.kif 6089-6089 range MeasureFn and PhysicalQuantity

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


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

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))		 Geography.kif 7082-7088 instance SelfConnectedObject and LiquidDrop approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer lessThan 500 and RealNumber instance SelfConnectedObject and Droplet
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 6998-7009 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7027-7037 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))		 Geography.kif 3804-3808 instance UnitOfMeasure and UnitOfMeasure equal Number and MeasureFn 1 and SquareUnitFn UnitOfMeasure equal Number and MultiplicationFn MeasureFn 1 and UnitOfMeasure and MeasureFn 1 and UnitOfMeasure
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3612-3614 courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3636-3638 courseWRTTrueNorth Object, Object and MeasureFn 135 and AngularDegree orientation Object, Object and Southeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3620-3622 courseWRTTrueNorth Object, Object and MeasureFn 180 and AngularDegree orientation Object, Object and South
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3640-3642 courseWRTTrueNorth Object, Object and MeasureFn 225 and AngularDegree orientation Object, Object and Southwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3624-3626 courseWRTTrueNorth Object, Object and MeasureFn 270 and AngularDegree orientation Object, Object and West
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3644-3646 courseWRTTrueNorth Object, Object and MeasureFn 315 and AngularDegree orientation Object, Object and Northwest
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3628-3630 courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3632-3634 courseWRTTrueNorth Object, Object and MeasureFn 45 and AngularDegree orientation Object, Object and Northeast
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3616-3618 courseWRTTrueNorth Object, Object and MeasureFn 90 and AngularDegree orientation Object, Object and East
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1701-1707 equal FunctionQuantity and MeasureFn RealNumber and MilesPerHour equal FunctionQuantity and SpeedFn MeasureFn RealNumber and Mile and MeasureFn 1 and HourDuration
(<=>
    (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 2991-3002 FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan FinancialInstrumentPrice and RealNumber outOfTheMoney Agreement and Agent
(<=>
    (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 2942-2953 FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan RealNumber and FinancialInstrumentPrice inTheMoney Agreement and Agent
(<=>
    (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 2955-2966 FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan FinancialInstrumentPrice and RealNumber inTheMoney Agreement and Agent
(<=>
    (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 3004-3015 FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan RealNumber and FinancialInstrumentPrice outOfTheMoney Agreement and Agent
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))		 Mid-level-ontology.kif 11981-11987 measure Physical and MeasureFn RealNumber and MetricTon measure Physical and MeasureFn MultiplicationFn RealNumber and 2205 and PoundMass
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))		 Geography.kif 378-380 measure Physical and MeasureFn RealNumber and AngularDegree measure Physical and MeasureFn MultiplicationFn 60 and RealNumber and ArcMinute
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))		 Geography.kif 397-399 measure Physical and MeasureFn RealNumber and ArcMinute measure Physical and MeasureFn MultiplicationFn 60 and RealNumber and ArcSecond
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))		 Mid-level-ontology.kif 11697-11702 measure Physical and MeasureFn RealNumber and OunceMass measure Physical and MeasureFn DivisionFn RealNumber and 16 and PoundMass
(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))		 Geography.kif 2510-2513 measure Solution and MeasureFn RealNumber and PHValue potentialOfHydrogen Solution and RealNumber
(=>
    (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))
            (equal
                (MeasureFn ?N ?U)
                (ListSumFn ?L)))))		 Merge.kif 7340-7356
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))		 Mid-level-ontology.kif 16127-16138

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))		 Geography.kif 3804-3808 instance UnitOfMeasure and UnitOfMeasure equal Number and MeasureFn 1 and SquareUnitFn UnitOfMeasure equal Number and MultiplicationFn MeasureFn 1 and UnitOfMeasure and MeasureFn 1 and UnitOfMeasure
(<=>
    (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 2673-2683 instance Entity and Region holdsDuring TimePosition and property Entity and StandardAmbientTemperaturePressure holdsDuring TimePosition and airTemperature Entity and MeasureFn 298.15 and KelvinDegree barometricPressure Entity and MeasureFn 29.530 and InchMercury
(<=>
    (attribute ?WATER OpenSea)
    (and
        (instance ?WATER SaltWaterArea)
        (not
            (instance ?WATER LandlockedWater))
        (distance ?LAND ?WATER
            (MeasureFn ?DIST NauticalMile))
        (greaterThan ?DIST 5)))		 Geography.kif 4506-4514 attribute Object and OpenSea instance Object and SaltWaterArea instance Object and LandlockedWater distance Physical, Object and MeasureFn RealNumber and NauticalMile greaterThan RealNumber and 5
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))		 Cars.kif 1942-1947 compressionRatio Engine and RealNumber minCylinderVolume Engine and MeasureFn RealNumber and UnitOfMeasure maxCylinderVolume Engine and MeasureFn UnitOfMeasureAX and UnitOfMeasure equal RealNumber and DivisionFn RealNumber and UnitOfMeasureAX
(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 253-277 equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and Number equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and Number and RealNumber
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH)
                                            (YearFn ?YEAR))
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 411-442 equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH)
                                            (YearFn ?YEAR))
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 323-353 equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH)
                                            (YearFn ?YEAR))
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 367-398 equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1701-1707 equal FunctionQuantity and MeasureFn RealNumber and MilesPerHour equal FunctionQuantity and SpeedFn MeasureFn RealNumber and Mile and MeasureFn 1 and HourDuration
(<=>
    (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 7503-7511 larger Object and Object RealNumber RealNumber and UnitOfMeasure
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))		 Mid-level-ontology.kif 11981-11987 measure Physical and MeasureFn RealNumber and MetricTon measure Physical and MeasureFn MultiplicationFn RealNumber and 2205 and PoundMass
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))		 Geography.kif 378-380 measure Physical and MeasureFn RealNumber and AngularDegree measure Physical and MeasureFn MultiplicationFn 60 and RealNumber and ArcMinute
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))		 Geography.kif 397-399 measure Physical and MeasureFn RealNumber and ArcMinute measure Physical and MeasureFn MultiplicationFn 60 and RealNumber and ArcSecond
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))		 Mid-level-ontology.kif 11697-11702 measure Physical and MeasureFn RealNumber and OunceMass measure Physical and MeasureFn DivisionFn RealNumber and 16 and PoundMass
(=>
    (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))
            (equal
                (MeasureFn ?N ?U)
                (ListSumFn ?L)))))		 Merge.kif 7340-7356
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 2070-2080
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U)
            (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 193-212
(=>
    (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 16866-16875
(=>
    (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 16881-16891
(=>
    (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 16897-16907
(=>
    (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 16913-16923
(=>
    (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 1151-1166
(=>
    (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 1118-1138
(=>
    (and
        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
    (?RELATION
        (MeasureFn ?NUM1 ?UNIT)
        (MeasureFn
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))		 Geography.kif 658-668
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 742-747

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(boilingPoint Actinium
    (MeasureFn 3470 KelvinDegree))		 Mid-level-ontology.kif 27490-27490 boilingPoint Actinium and MeasureFn 3470 and KelvinDegree
(boilingPoint Aluminum
    (MeasureFn 2740 KelvinDegree))		 Mid-level-ontology.kif 27338-27338 boilingPoint Aluminum and MeasureFn 2740 and KelvinDegree
(boilingPoint Americium
    (MeasureFn 2880 KelvinDegree))		 Mid-level-ontology.kif 27502-27502 boilingPoint Americium and MeasureFn 2880 and KelvinDegree
(boilingPoint Antimony
    (MeasureFn 2023 KelvinDegree))		 Mid-level-ontology.kif 27414-27414 boilingPoint Antimony and MeasureFn 2023 and KelvinDegree
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))		 Mid-level-ontology.kif 27348-27348 boilingPoint Argon and MeasureFn 87.29 and KelvinDegree
(boilingPoint Arsenic
    (MeasureFn 886 KelvinDegree))		 Mid-level-ontology.kif 27378-27378 boilingPoint Arsenic and MeasureFn 886 and KelvinDegree
(boilingPoint Astatine
    (MeasureFn 610 KelvinDegree))		 Mid-level-ontology.kif 27482-27482 boilingPoint Astatine and MeasureFn 610 and KelvinDegree
(boilingPoint Barium
    (MeasureFn 1913 KelvinDegree))		 Mid-level-ontology.kif 27424-27424 boilingPoint Barium and MeasureFn 1913 and KelvinDegree
(boilingPoint Beryllium
    (MeasureFn 3243 KelvinDegree))		 Mid-level-ontology.kif 27320-27320 boilingPoint Beryllium and MeasureFn 3243 and KelvinDegree
(boilingPoint Bismuth
    (MeasureFn 1833 KelvinDegree))		 Mid-level-ontology.kif 27478-27478 boilingPoint Bismuth and MeasureFn 1833 and KelvinDegree
(boilingPoint Boron
    (MeasureFn 2823 KelvinDegree))		 Mid-level-ontology.kif 27322-27322 boilingPoint Boron and MeasureFn 2823 and KelvinDegree
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))		 Mid-level-ontology.kif 27382-27382 boilingPoint Bromine and MeasureFn 331.93 and KelvinDegree
(boilingPoint Cadmium
    (MeasureFn 1038 KelvinDegree))		 Mid-level-ontology.kif 27408-27408 boilingPoint Cadmium and MeasureFn 1038 and KelvinDegree
(boilingPoint Caesium
    (MeasureFn 963 KelvinDegree))		 Mid-level-ontology.kif 27422-27422 boilingPoint Caesium and MeasureFn 963 and KelvinDegree
(boilingPoint Calcium
    (MeasureFn 1760 KelvinDegree))		 Mid-level-ontology.kif 27352-27352 boilingPoint Calcium and MeasureFn 1760 and KelvinDegree
(boilingPoint Carbon
    (MeasureFn 5100 KelvinDegree))		 Mid-level-ontology.kif 27324-27324 boilingPoint Carbon and MeasureFn 5100 and KelvinDegree
(boilingPoint Cerium
    (MeasureFn 3530 KelvinDegree))		 Mid-level-ontology.kif 27428-27428 boilingPoint Cerium and MeasureFn 3530 and KelvinDegree
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))		 Mid-level-ontology.kif 27346-27346 boilingPoint Chlorine and MeasureFn 238.55 and KelvinDegree
(boilingPoint Chromium
    (MeasureFn 2755 KelvinDegree))		 Mid-level-ontology.kif 27360-27360 boilingPoint Chromium and MeasureFn 2755 and KelvinDegree
(boilingPoint Cobalt
    (MeasureFn 3143 KelvinDegree))		 Mid-level-ontology.kif 27366-27366 boilingPoint Cobalt and MeasureFn 3143 and KelvinDegree
(boilingPoint Copper
    (MeasureFn 2868 KelvinDegree))		 Mid-level-ontology.kif 27370-27370 boilingPoint Copper and MeasureFn 2868 and KelvinDegree
(boilingPoint Dysprosium
    (MeasureFn 2608 KelvinDegree))		 Mid-level-ontology.kif 27444-27444 boilingPoint Dysprosium and MeasureFn 2608 and KelvinDegree
(boilingPoint Erbium
    (MeasureFn 2783 KelvinDegree))		 Mid-level-ontology.kif 27448-27448 boilingPoint Erbium and MeasureFn 2783 and KelvinDegree
(boilingPoint Europium
    (MeasureFn 1870 KelvinDegree))		 Mid-level-ontology.kif 27438-27438 boilingPoint Europium and MeasureFn 1870 and KelvinDegree
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))		 Mid-level-ontology.kif 27330-27330 boilingPoint Fluorine and MeasureFn 85.01 and KelvinDegree

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