UnaryFunction(1変数関数) |
appearance as argument number 1 |
![]() |
(documentation UnaryFunction ChineseLanguage "这是个需要单一一个参数的 Function Class。") | chinese_format.kif 1994-1994 | |
(documentation UnaryFunction EnglishLanguage "The Class of Functions that require a single argument.") | Merge.kif 3349-3350 | |
(documentation UnaryFunction JapaneseLanguage "Functions のClass は 単一の引数が必要 である。") | japanese_format.kif 628-629 | |
(subclass UnaryFunction BinaryRelation) | Merge.kif 3346-3346 | 1変数関数 は 2項関係 の subclass では %n |
(subclass UnaryFunction Function) | Merge.kif 3345-3345 | 1変数関数 は 関数 の subclass では %n |
(subclass UnaryFunction InheritableRelation) | Merge.kif 3347-3347 | 1変数関数 は InheritableRelation の subclass では %n |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1)) |
Merge.kif 3352-3354 |
![]() |
![]() |