|
|
   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 3417-3418 | |
| (documentation BinaryFunction JapaneseLanguage "Function の Class は、２つの引数を必要と する 。") | japanese_format.kif 635-636 | |
| (subclass BinaryFunction Function) | Merge.kif 3413-3413 | 2変数関数 は 関数 の subclass では |
| (subclass BinaryFunction InheritableRelation) | Merge.kif 3415-3415 | 2変数関数 は InheritableRelation の subclass では |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3414-3414 | 2変数関数 は 三進法関係 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain distributes 1 BinaryFunction) | Merge.kif 3736-3736 | distributes の数値 1 引数は 2変数関数 の instance では |
| (domain distributes 2 BinaryFunction) | Merge.kif 3737-3737 | distributes の数値 2 引数は 2変数関数 の instance では |
| (domain identityElement 1 BinaryFunction) | Merge.kif 5306-5306 | identityElement の数値 1 引数は 2変数関数 の instance では |
| antecedent |
|
|
| (=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3420-3422 |
|
|
|