(subclass BinaryFunction Function) | Merge.kif 3399-3399 | Binary function is a subclass of function |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3400-3400 | Binary function is a subclass of ternary relation |
(subclass BinaryFunction InheritableRelation) | Merge.kif 3401-3401 | Binary function is a subclass of inheritable relation |
(subclass AssociativeFunction BinaryFunction) | Merge.kif 3410-3410 | Associative function is a subclass of binary function |
(subclass CommutativeFunction BinaryFunction) | Merge.kif 3431-3431 | Commutative function is a subclass of binary function |