(subclass BinaryFunction Function) | Merge.kif 3398-3398 | FunzioneBinaria è una sottoclasse di Funzione |
(subclass BinaryFunction TernaryRelation) | Merge.kif 3399-3399 | FunzioneBinaria è una sottoclasse di RelazioneTernaria |
(subclass BinaryFunction InheritableRelation) | Merge.kif 3400-3400 | FunzioneBinaria è una sottoclasse di InheritableRelation |
(subclass AssociativeFunction BinaryFunction) | Merge.kif 3409-3409 | FunzioneAssociativa è una sottoclasse di FunzioneBinaria |
(subclass CommutativeFunction BinaryFunction) | Merge.kif 3430-3430 | FunzioneCommutativa è una sottoclasse di FunzioneBinaria |