No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relation ternaire est une sous-classe de relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2855-2855 | Relation ternaire est une sous-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3399-3399 | Fonction binaire est une sous-classe de relation ternaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3490-3490 | Pr�dicat ternaire est une sous-classe de relation ternaire |
![]() |