This concept’s semantic web URI is: [
http://sw.opencyc.org/2008/06/10/concept/en/RoundDownFn
]
<< SEARCH ALL CONCEPTS
VIEW A RANDOM CONCEPT >>
Round Down Fn
Unique Tag: [
RoundDownFn
]
(
Round Down Fn
QUANTITY) converts QUANTITY into one where the maximum and minimum ranges have been rounded downwards to integer values. For example, (
Round Down Fn
(
meter
2.5)) denotes (
meter
2).
Round Down Fn
is an Example of:
Function from quantities to quantities
SKSI supported function
Unary function
Unit of measure concept
Click Here to Add a Comment