(subclass TernaryRelation Relation) | Merge.kif 2854-2854 | RelazioneTernaria è una sottoclasse di Relazione |
(subclass TernaryRelation InheritableRelation) | Merge.kif 2855-2855 | RelazioneTernaria è una sottoclasse di InheritableRelation |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3399-3399 | FunzioneBinaria è una sottoclasse di RelazioneTernaria |
(subclass TernaryPredicate TernaryRelation) | Merge.kif 3490-3490 | PredicatoTernario è una sottoclasse di RelazioneTernaria |
![]() |