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

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.
 Click Here to Add a Comment