![]() |
![]() ![]() ![]()
|
![]() |
|
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 3284-3285 | |
(subclass BinaryFunction Function) | Merge.kif 3280-3280 | subclass BinaryFunction and Function |
(subclass BinaryFunction InheritableRelation) | Merge.kif 3282-3282 | subclass BinaryFunction and InheritableRelation |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3281-3281 | subclass BinaryFunction and TernaryRelation |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain distributes 1 BinaryFunction) | Merge.kif 3594-3594 | domain distributes, 1 and BinaryFunction |
(domain distributes 2 BinaryFunction) | Merge.kif 3595-3595 | domain distributes, 2 and BinaryFunction |
(domain identityElement 1 BinaryFunction) | Merge.kif 5001-5001 | domain identityElement, 1 and BinaryFunction |
antecedent |
![]() |
(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3287-3289 |
|
![]() |
![]() |