| (subclass Function SingleValuedRelation) | Merge.kif 3233-3233 | |
| (subclass Function InheritableRelation) | Merge.kif 3234-3234 | |
| (subclass UnaryFunction Function) | Merge.kif 3241-3241 | |
| (subclass BinaryFunction Function) | Merge.kif 3280-3280 | |
| (subclass TernaryFunction Function) | Merge.kif 3331-3331 | |
| (subclass QuaternaryFunction Function) | Merge.kif 3342-3342 | |
| (subclass ContinuousFunction Function) | Merge.kif 3353-3353 |
|
|