| 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 3403-3404 | |
| (documentation BinaryFunction JapaneseLanguage "Function の Class は、２つの引数を必要と する 。") | japanese_format.kif 635-636 | |
| (subclass BinaryFunction Function) | Merge.kif 3399-3399 | Fonction binaire est une sous-classe de function |
| (subclass BinaryFunction InheritableRelation) | Merge.kif 3401-3401 | Fonction binaire est une sous-classe de InheritableRelation |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3400-3400 | Fonction binaire est une sous-classe de relation ternaire |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain distributes 1 BinaryFunction) | Merge.kif 3722-3722 | Le nombre 1 argument de distributes est une instance de fonction binaire |
| (domain distributes 2 BinaryFunction) | Merge.kif 3723-3723 | Le nombre 2 argument de distributes est une instance de fonction binaire |
| (domain identityElement 1 BinaryFunction) | Merge.kif 5279-5279 | Le nombre 1 argument de identityElement est une instance de fonction binaire |
| antecedent |
|
|
| (=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3406-3408 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners