| (subclass TernaryRelation Relation) | Merge.kif 2854-2854 | 三進法関係 は 関係 の subclass では %n |
| (subclass TernaryRelation InheritableRelation) | Merge.kif 2855-2855 | 三進法関係 は InheritableRelation の subclass では %n |
| (subclass BinaryFunction TernaryRelation) | Merge.kif 3399-3399 | 2変数関数 は 三進法関係 の subclass では %n |
| (subclass TernaryPredicate TernaryRelation) | Merge.kif 3490-3490 | 3進述語 は 三進法関係 の subclass では %n |
|
|