|
|
   BinaryFunction
|
|
|
| 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 3336-3337 | |
| (subclass BinaryFunction Function) | Merge.kif 3332-3332 | 二元函数 是 函数 的 subclass |
| (subclass BinaryFunction InheritableRelation) | Merge.kif 3334-3334 | 二元函数 是 可继承的关系 的 subclass |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3333-3333 | 二元函数 是 三元关系 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain distributes 1 BinaryFunction) | Merge.kif 3655-3655 | 分布 的 1 数量 是 二元函数 的 instance |
| (domain distributes 2 BinaryFunction) | Merge.kif 3656-3656 | 分布 的 2 数量 是 二元函数 的 instance |
| (domain identityElement 1 BinaryFunction) | Merge.kif 5184-5184 | 单位元 的 1 数量 是 二元函数 的 instance |
| antecedent |
|
|
| (=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3339-3341 |
|
|
|