UnaryConstantFunctionQuantity(単項定数関数量) |
appearance as argument number 1 |
![]() |
(documentation UnaryConstantFunctionQuantity ChineseLanguage "这是 FunctionQuantity 的一个 subclass,它的实例由 UnaryFunction 把 ConstantQuantity Class 的一个实例联系到 ConstantQuantity Class 的另一个 实例所产生。") | chinese_format.kif 1797-1799 | |
(documentation UnaryConstantFunctionQuantity EnglishLanguage "A subclass of FunctionQuantity, instances of which are returned by UnaryFunctions that map from one instance of the Class ConstantQuantity to another instance of the Class ConstantQuantity.") | Merge.kif 2125-2129 | |
(documentation UnaryConstantFunctionQuantity JapaneseLanguage "FunctionQuantity の subclass のインスタンスは、Class ConstantQuantity の 1 つのインスタンスから Class ConstantQuantity の別のインスタンスにマップする UnaryFunctions によって返される。") | japanese_format.kif 412-414 | |
(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2123-2123 | 単項定数関数量 は 関数量 の subclass では |
appearance as argument number 2 |
![]() |
![]() |
![]() |