(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | 子類 UnaryConstantFunctionQuantity and FunctionQuantity |
(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | 子類 TimeDependentQuantity and UnaryConstantFunctionQuantity |