(equal     (MeasureFn ?NUMBER RankineDegree)     (MeasureFn         (MultiplicationFn ?NUMBER 1.8) KelvinDegree))	Merge.kif 7316-7318	実数 の RankineDegree(s) は 実数 + 1.8 の KelvinDegree(s) と equal では %n
(equal     (MeasureFn ?NUMBER Slug)     (MeasureFn         (MultiplicationFn ?NUMBER 14593.90) Gram))	Merge.kif 7304-7306	実数 の Slug(s) は 実数 + 14593.90 の Gram(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedKingdomGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 4.54609) Liter))	Merge.kif 7257-7259	実数 の UnitedKingdomGallon(s) は 実数 + 4.54609 の Liter(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedStatesCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))	Merge.kif 7391-7393	実数 の UnitedStatesCent(s) は 実数 + 0.01 の UnitedStatesDollar(s) と equal では %n
(equal     (MeasureFn ?NUMBER UnitedStatesGallon)     (MeasureFn         (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7212-7214	実数 の UnitedStatesGallon(s) は 実数 + 3.785411784 の Liter(s) と equal では %n

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