| (subclass BinaryFunction Function) | Merge.kif 3398-3398 | BinaryFunction ist eine teilkategorie von Function |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3399-3399 | BinaryFunction ist eine teilkategorie von TernaryRelation |
| (subclass BinaryFunction InheritableRelation) | Merge.kif 3400-3400 | BinaryFunction ist eine teilkategorie von InheritableRelation |
| (subclass AssociativeFunction BinaryFunction) | Merge.kif 3409-3409 | AssociativeFunction ist eine teilkategorie von BinaryFunction |
| (subclass CommutativeFunction BinaryFunction) | Merge.kif 3430-3430 | CommutativeFunction ist eine teilkategorie von BinaryFunction |
|
|