(equal     (MeasureFn 1.0 NauticalMile)     (MeasureFn 6076.1 FootLength))	Geography.kif 4112-4114	equal 1.0 nautical mile(s) and 6076.1 foot length(s)
(equal     (MeasureFn ?DEG ArcMinute)     (MeasureFn         (MultiplicationFn 60.0 ?DEG) ArcSecond))	Geography.kif 572-572	equal a real number arc minute(s) and 60.0 and the real number arc second(s)
(equal     (MeasureFn ?NUM AngularDegree)     (MeasureFn         (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 553-553	equal a real number angular degree(s) and 60.0 and the real number arc minute(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 7177-7187	equal a real number amu(s) and the real number and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 gram(s)
(equal     (MeasureFn ?NUMBER Angstrom)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn                 (DivisionFn 1.0 100000.0) 100000.0)) Meter))	Merge.kif 7213-7219	equal a real number angstrom(s) and the real number and 1.0 and 100000.0 and 100000.0 meter(s)
(equal     (MeasureFn ?NUMBER AngularDegree)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn Pi 180.0)) Radian))	Merge.kif 7411-7413	equal a real number angular degree(s) and the real number and pi and 180.0 radian(s)
(equal     (MeasureFn ?NUMBER BritishThermalUnit)     (MeasureFn         (MultiplicationFn ?NUMBER 1055.05585262) Joule))	Merge.kif 7397-7399	equal a real number british thermal unit(s) and the real number and 1055.05585262 joule(s)
(equal     (MeasureFn ?NUMBER Byte)     (MeasureFn         (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7469-7471	equal a real number byte(s) and the real number and 8 bit(s)
(equal     (MeasureFn ?NUMBER Calorie)     (MeasureFn         (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7389-7391	equal a real number calorie(s) and the real number and 4.1868 joule(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (DivisionFn             (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))	Merge.kif 7037-7039	equal a real number celsius degree(s) and (the real number and 32.0) and 1.8 fahrenheit degree(s)
(equal     (MeasureFn ?NUMBER CelsiusDegree)     (MeasureFn         (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 7033-7035	equal a real number celsius degree(s) and (the real number and 273.15) kelvin degree(s)
(equal     (MeasureFn ?NUMBER Centimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6805-6807	equal a real number centimeter(s) and the real number and 0.01 meter(s)
(equal     (MeasureFn ?NUMBER Cup)     (MeasureFn         (DivisionFn ?NUMBER 2) Pint))	Merge.kif 7283-7285	equal a real number cup(s) and the real number and 2 pint(s)
(equal     (MeasureFn ?NUMBER DayDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7112-7114	equal a real number day duration(s) and the real number and 24 hour duration(s)
(equal     (MeasureFn ?NUMBER ElectronVolt)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn                 (DivisionFn                     (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))	Merge.kif 7195-7203	equal a real number electron volt(s) and the real number and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s)
(equal     (MeasureFn ?NUMBER EuroCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7449-7451	equal a real number euro cent(s) and the real number and 0.01 euro dollar(s)
(equal     (MeasureFn ?NUMBER FootLength)     (MeasureFn         (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7230-7232	equal a real number foot length(s) and the real number and 0.3048 meter(s)
(equal     (MeasureFn ?NUMBER HourDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7120-7122	equal a real number hour duration(s) and the real number and 60 minute duration(s)
(equal     (MeasureFn ?NUMBER Inch)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 7237-7239	equal a real number inch(s) and the real number and 0.0254 meter(s)
(equal     (MeasureFn ?NUMBER KiloByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7479-7481	equal a real number kilo byte(s) and the real number and 1024 byte(s)
(equal     (MeasureFn ?NUMBER Kilogram)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7323-7326	equal a real number kilogram(s) and the real number and 1000 gram(s)
(equal     (MeasureFn ?NUMBER KilogramForce)     (MeasureFn         (MultiplicationFn ?NUMBER 9.80665) Newton))	Mid-level-ontology.kif 5298-5301	equal a real number kilogram force(s) and the real number and 9.80665 newton(s)
(equal     (MeasureFn ?NUMBER Kilometer)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6824-6827	equal a real number kilometer(s) and the real number and 1000 meter(s)
(equal     (MeasureFn ?NUMBER MegaByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7489-7491	equal a real number mega byte(s) and the real number and 1024 kilo byte(s)
(equal     (MeasureFn ?NUMBER Micrometer)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 7434-7437	equal a real number micrometer(s) and the real number and 0.0000001 meter(s)
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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