Division for physical-quantities. The '/' operator for complex numbers (part of KIF specification) is overloaded to operate on physical quantities. Defined in terms of multiplication and real exponentiation operators.
(=> (And (Physical-Quantity ?X) (Physical-Quantity ?Y))
(= (/ ?X ?Y) (* ?X (Expt ?Y -1))))