This concept’s semantic web URI is: [ http://sw.opencyc.org/2008/06/10/concept/en/RoundClosestFn ]

Round Closest Fn

Unique Tag: [ RoundClosestFn ]

(Round Closest Fn QUANTITY) converts QUANTITY into one where the maximum and minimum ranges have been rounded to the closest integer values. For example, (Round Closest Fn (meter 2.41)) denotes (meter 2), (Round Closest Fn (meter 2.7)) denotes (meter 3), and (Round Closest Fn (meter 1.6 4.2)) denotes (meter 2 4). If QUANTITY is exactly between two integers (that is, in the form integer+0.5), then it is rounded to the one that is even. So, (Round Closest Fn (meter 2.5)) denotes (meter 2), and (Round Closest Fn (meter 7.5)) denotes (meter 8). See also Round Up Fn, Round Down Fn.
 Click Here to Add a Comment