(subclass TernaryRelation Relation) | Merge.kif 2855-2855 | RelazioneTernaria è una sottoclasse di Relazione |
(subclass TernaryRelation InheritableRelation) | Merge.kif 2856-2856 | RelazioneTernaria è una sottoclasse di InheritableRelation |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3400-3400 | FunzioneBinaria è una sottoclasse di RelazioneTernaria |
(subclass TernaryPredicate TernaryRelation) | Merge.kif 3491-3491 | PredicatoTernario è una sottoclasse di RelazioneTernaria |