| UnaryFunction(function unaire) |
| 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 3402-3403 | |
| (documentation UnaryFunction JapaneseLanguage "Functions のClass は 単一の引数が必要 である。") | japanese_format.kif 628-629 | |
| (subclass UnaryFunction BinaryRelation) | Merge.kif 3399-3399 | Function unaire est une sous-classe de relation binaire |
| (subclass UnaryFunction Function) | Merge.kif 3398-3398 | Function unaire est une sous-classe de function |
| (subclass UnaryFunction InheritableRelation) | Merge.kif 3400-3400 | Function unaire est une sous-classe de InheritableRelation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1)) |
Merge.kif 3405-3407 |
|
|
|