Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MeasureFn
MeasureFn

appearance as argument number 1
-------------------------


(instance MeasureFn BinaryFunction) Merge.kif 6465-6465 Measure is an instance of binary function
(instance MeasureFn TotalValuedRelation) Merge.kif 6466-6466 Measure is an instance of total valued relation
(domain MeasureFn 1 RealNumber) Merge.kif 6467-6467 The number 1 argument of measure is an instance of real number
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6468-6468 The number 2 argument of measure is an instance of unit of measure
(range MeasureFn PhysicalQuantity) Merge.kif 6469-6469 The range of measure is an instance of physical quantity
(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 6471-6475 The range of measure is an instance of physical quantity

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


(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 36671-36671
(termFormat ChineseTraditionalLanguage MeasureFn "測量") domainEnglishFormat.kif 36672-36672
(termFormat ChineseLanguage MeasureFn "测量") domainEnglishFormat.kif 36673-36673
(format EnglishLanguage MeasureFn "%1 %2(s)") english_format.kif 636-636

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))		 Merge.kif 6344-6348 If X is an instance of Y Z(s) and Z is an instance of composite unit of measure, then X is an instance of function quantity
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance ?QUANT ConstantQuantity))		 Merge.kif 6350-6354 If X is an instance of Y Z(s) and Z is an instance of non composite unit of measure, then X is an instance of constant quantity
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))		 Merge.kif 6477-6481 If equal X Y(s) and Z and Y is an instance of unit of length, then Z is an instance of length measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfMass))
    (instance ?QUANT MassMeasure))		 Merge.kif 6483-6487 If equal X Y(s) and Z and Y is an instance of unit of mass, then Z is an instance of mass measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))		 Merge.kif 6489-6493 If equal X Y(s) and Z and Y is an instance of unit of area, then Z is an instance of area measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfVolume))
    (instance ?QUANT VolumeMeasure))		 Merge.kif 6495-6499 If equal X Y(s) and Z and Y is an instance of unit of volume, then Z is an instance of volume measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))		 Merge.kif 6501-6505 If equal X Y(s) and Z and Y is an instance of unit of temperature, then Z is an instance of temperature measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT CurrencyMeasure))		 Merge.kif 6507-6511 If equal X Y(s) and Z and Y is an instance of unit of currency, then Z is an instance of currency measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))		 Merge.kif 6513-6517 If equal X Y(s) and Z and Y is an instance of unit of angular measure, then Z is an instance of angle measure
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfDuration))
    (instance ?QUANT TimeDuration))		 Merge.kif 6519-6523 If equal X Y(s) and Z and Y is an instance of unit of duration, then Z is an instance of time duration
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfInformation))
    (instance ?QUANT InformationMeasure))		 Merge.kif 6525-6529 If equal X Y(s) and Z and Y is an instance of unit of information, then Z is an instance of information measure
(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))		 Merge.kif 6739-6745 If X is an instance of physical quantity, Y is an instance of unit of measure, and equal X and Z Y(s), then equal the unit of X and Y
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfFrequency))
    (instance ?QUANT FrequencyMeasure))		 Merge.kif 6965-6969 If equal X Y(s) and Z and Y is an instance of unit of frequency, then Z is an instance of frequency measure
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))		 Merge.kif 7039-7041 If equal X and Y coulomb(s), then X is an instance of time dependent quantity
(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Becquerel))
    (instance ?QUANTITY TimeDependentQuantity))		 Merge.kif 7167-7169 If equal X and Y becquerel(s), then X is an instance of time dependent quantity
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (greaterThanOrEqualTo ?NUMBER 28))		 Merge.kif 7241-7245 If equal 1 month duration(s) and X day duration(s), then X is greater than or equal to 28
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 7247-7251 If equal 1 month duration(s) and X day duration(s), then X is less than or equal to 31
(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))		 Merge.kif 7501-7503 If equal X and Y angular degree(s), then X is an instance of plane angle measure
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7509-7513 If the measure of X is Y angular degree(s), then Y is greater than or equal to 0.0 and Y is less than or equal to 360.0
(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7706-7714 If the length of X is Y Z(s), then there doesn't exist W such that the linear extent of X is W Z(s) and W is greater than Y
(=>
    (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 7740-7755 If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9688-9692 If X is an instance of month and duration of X is Y day duration(s), then equal the number of instances in decomposition of X into days and Y
(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1
            (MeasureFn ?MEASURE1 ?U))
        (distance ?SOURCE ?DEST
            (MeasureFn ?DISTANCE ?U))
        (not
            (greaterThan ?MEASURE1 ?DISTANCE))
        (part ?OBJ ?PATH1))
    (between ?SOURCE ?OBJ ?DEST))		 Merge.kif 11334-11344 If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Merge.kif 11532-11538 equal X and Y miles per hour(s) if and only if equal X and Y mile(s) per 1 hour duration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (graphPart ?AN ?G)
        (graphPart ?AA ?G)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA ?N))
    (measure ?PA
        (MeasureFn ?N ?M)))		 Merge.kif 6284-6295 If All of the following hold: (1) X is the unit in Y (2) Z is an instance of graph node (3) Z is a part of Y (4) W is a part of Y (5) W is an instance of graph arc (6) the abstract counterpart of V is Z (7) the abstract counterpart of U is W (8) the value of W is T, then the measure of U is T X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))		 Merge.kif 6594-6598 If X is an instance of unit of measure and equal Y and 1 thousand Z, then equal 1 Y(s) and 1000 X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6608-6612 If X is an instance of unit of measure and equal Y and 1 million Z, then equal 1 Y(s) and 1000000 X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6622-6626 If X is an instance of unit of measure and equal Y and 1 billion Z, then equal 1 Y(s) and 1000000 1 thousand Z(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))		 Merge.kif 6636-6640 If X is an instance of unit of measure and equal Y and 1 trillion Z, then equal 1 Y(s) and 1000000000 1 thousand Z(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))		 Merge.kif 6650-6654 If X is an instance of unit of measure and equal Y and one thousandth of a X, then equal 1 Y(s) and 0.001 X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6664-6668 If X is an instance of unit of measure and equal Y and one millionth of a X, then equal 1 Y(s) and 0.000001 X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6679-6683 If X is an instance of unit of measure and equal Y and one billionth of a X, then equal 1 Y(s) and 0.000000001 X(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))		 Merge.kif 6694-6698 If X is an instance of unit of measure and equal Y and one trillionth of a X, then equal 1 Y(s) and 0.000000000001 X(s)
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))		 Merge.kif 7021-7025 If X is an instance of real number, then equal X horsepower(s) and X and 746 watt(s)
(=>
    (length ?O
        (MeasureFn ?M ?U))
    (not
        (exists (?M2)
            (and
                (linearExtent ?O
                    (MeasureFn ?M2 ?U))
                (greaterThan ?M2 ?M)))))		 Merge.kif 7706-7714 If the length of X is Y Z(s), then there doesn't exist W such that the linear extent of X is W Z(s) and W is greater than Y
(=>
    (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 7740-7755 If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))		 Merge.kif 7842-7847 If the diameter of X is Y, then there exist Z and W such that the radius of X is Z W(s) and equal Z and 2 W(s) and Y
(<=>
    (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 7937-7945 X is larger than Y if and only if Z, W and V the measure of X is Z V(s) and the measure of Y is W V(s) and V is an instance of unit of lengthZ is greater than W
(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))		 Merge.kif 8946-8948 If X is an instance of year, then duration of X is 1 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))		 Merge.kif 8961-8965 If equal X, 1, and X, then equal X decade duration(s) and X and 10 year duration(s)
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 1 DecadeDuration)))		 Merge.kif 8972-8974 If X is an instance of decade, then duration of X is 1 decade duration(s)
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 10 YearDuration)))		 Merge.kif 8976-8978 If X is an instance of decade, then duration of X is 10 year duration(s)
(=>
    (instance ?Q QuarterYear)
    (duration ?Q
        (MeasureFn 3 MonthDuration)))		 Merge.kif 9193-9195 If X is an instance of quarter year, then duration of X is 3 month duration(s)
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9254-9256 If X is an instance of January, then duration of X is 31 day duration(s)
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))		 Merge.kif 9268-9273 If X is an instance of the month February, Y is an instance of Z, and Y is not an instance of leap year, then duration of X is 28 day duration(s)
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))		 Merge.kif 9275-9280 If X is an instance of the month February, Y is an instance of Z, and Y is an instance of leap year, then duration of X is 29 day duration(s)
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9292-9294 If X is an instance of March, then duration of X is 31 day duration(s)
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9306-9308 If X is an instance of April, then duration of X is 30 day duration(s)
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9320-9322 If X is an instance of May, then duration of X is 31 day duration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))		 Merge.kif 6899-6901 equal X centimeter(s) and X and 0.01 meter(s)
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))		 Merge.kif 6908-6911 equal X millimeter(s) and X and 0.001 meter(s)
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))		 Merge.kif 6918-6921 equal X kilometer(s) and X and 1000 meter(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))		 Merge.kif 7127-7129 equal X celsius degree(s) and (X and 273.15) kelvin degree(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))		 Merge.kif 7131-7133 equal X celsius degree(s) and (X and 32.0) and 1.8 fahrenheit degree(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7206-7208 equal X day duration(s) and X and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))		 Merge.kif 7214-7216 equal X hour duration(s) and X and 60 minute duration(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))		 Merge.kif 7222-7224 equal X minute duration(s) and X and 60 second duration(s)
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))		 Merge.kif 7231-7233 equal 1 week duration(s) and 7 day duration(s)
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))		 Merge.kif 7258-7260 equal 1 year duration(s) and 365 day duration(s)
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn
                        (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram))		 Merge.kif 7271-7281 equal X amu(s) and X and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 gram(s)
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))		 Merge.kif 7289-7297 equal X electron volt(s) and X and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s)
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn 1.0 100000.0) 100000.0)) Meter))		 Merge.kif 7307-7313 equal X angstrom(s) and X and 1.0 and 100000.0 and 100000.0 meter(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))		 Merge.kif 7324-7326 equal X foot length(s) and X and 0.3048 meter(s)
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))		 Merge.kif 7331-7333 equal X inch(s) and X and 0.0254 meter(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))		 Merge.kif 7338-7340 equal X mile(s) and X and 1609.344 meter(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))		 Merge.kif 7350-7352 equal X united states gallon(s) and X and 3.785411784 liter(s)
(equal
    (MeasureFn ?NUMBER Quart)
    (MeasureFn
        (DivisionFn ?NUMBER 4) UnitedStatesGallon))		 Merge.kif 7359-7361 equal X quart(s) and X and 4 united states gallon(s)
(equal
    (MeasureFn ?NUMBER Pint)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Quart))		 Merge.kif 7368-7370 equal X pint(s) and X and 2 quart(s)
(equal
    (MeasureFn ?NUMBER Cup)
    (MeasureFn
        (DivisionFn ?NUMBER 2) Pint))		 Merge.kif 7377-7379 equal X cup(s) and X and 2 pint(s)
(equal
    (MeasureFn ?NUMBER Ounce)
    (MeasureFn
        (DivisionFn ?NUMBER 8) Cup))		 Merge.kif 7386-7388 equal X ounce(s) and X and 8 cup(s)
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))		 Merge.kif 7395-7397 equal X united kingdom gallon(s) and X and 4.54609 liter(s)
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7417-7420 equal X kilogram(s) and X and 1000 gram(s)
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))		 Merge.kif 7434-7436 equal X pound mass(s) and X and 453.59237 gram(s)
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))		 Merge.kif 7442-7444 equal X slug(s) and X and 14593.90 gram(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.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners