![]() |
![]() ![]() ![]()
|
![]() |
|
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 3339-3340 | |
(subclass UnaryFunction BinaryRelation) | Merge.kif 3336-3336 | Unary function is a subclass of binary relation |
(subclass UnaryFunction Function) | Merge.kif 3335-3335 | Unary function is a subclass of function |
(subclass UnaryFunction InheritableRelation) | Merge.kif 3337-3337 | Unary function is a subclass of inheritable relation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1)) |
Merge.kif 3342-3344 |
|
![]() |
![]() |