| (subclass Function SingleValuedRelation) | Merge.kif 3327-3327 | subclass Function and SingleValuedRelation |
| (subclass Function InheritableRelation) | Merge.kif 3328-3328 | subclass Function and InheritableRelation |
| (subclass UnaryFunction Function) | Merge.kif 3335-3335 | subclass UnaryFunction and Function |
| (subclass BinaryFunction Function) | Merge.kif 3375-3375 | subclass BinaryFunction and Function |
| (subclass TernaryFunction Function) | Merge.kif 3427-3427 | subclass TernaryFunction and Function |
| (subclass QuaternaryFunction Function) | Merge.kif 3438-3438 | subclass QuaternaryFunction and Function |
| (subclass ContinuousFunction Function) | Merge.kif 3449-3449 | subclass ContinuousFunction and Function |
|
|