![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation BinaryFunction ChineseLanguage "这是个需要两个参数的 Function Class。") | chinese_format.kif 1999-1999 | |
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.") | Merge.kif 3379-3380 | |
(subclass BinaryFunction Function) | Merge.kif 3375-3375 | 二元函数 是 函数 的 subclass |
(subclass BinaryFunction InheritableRelation) | Merge.kif 3377-3377 | 二元函数 是 可继承的关系 的 subclass |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3376-3376 | 二元函数 是 三元关系 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain distributes 1 BinaryFunction) | Merge.kif 3698-3698 | 分布 的 1 数量 是 二元函数 的 instance |
(domain distributes 2 BinaryFunction) | Merge.kif 3699-3699 | 分布 的 2 数量 是 二元函数 的 instance |
(domain identityElement 1 BinaryFunction) | Merge.kif 5245-5245 | 单位元 的 1 数量 是 二元函数 的 instance |
antecedent |
![]() |
(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3382-3384 |
![]() |
![]() |