This concept’s semantic web URI is: [
http://sw.opencyc.org/2008/06/10/concept/en/QuotientFn
]
<< SEARCH ALL CONCEPTS
VIEW A RANDOM CONCEPT >>
Quotient Fn
Unique Tag: [
QuotientFn
]
An instance of both
binary function
and
evaluatable function
. When applied to an instance DIVIDEND of
quantity
and an instance DIVISOR of
quantity
,
Quotient Fn
returns an instance of
quantity
that is the result of dividing DIVIDEND by DIVISOR. For example, (
Quotient Fn
24 6) is 4, (
Quotient Fn
(
meter
3) (
second
2)) is (
meter per second
1.5) (i.e., 1.5 meters per second), and (
Quotient Fn
(
second
2) (
meter
3)) is ((
Per Fn
second
meter
) 0.6666666666666666) (i.e., 0.6666666666666666 seconds per meter). Note that (
Quotient Fn
DIVIDEND 0) is undefined for any instance DIVIDEND of
quantity
.
Quotient Fn
is an Example of:
Arithmetic functions math topic
Binary function
Function from quantities to quantities
Partial denotational function
SKSI supported function
Unit of measure concept
Click Here to Add a Comment