FunzioneBinaria (BinaryFunction)

The Class of Functions that require two arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

FunzioneBinaria

Superclass(es)

Entitá

Astratto

Relazione

RelazioneMonovalente

Funzione

Entitá

Astratto

Relazione

RelazioneTernaria
is subclass of

FunzioneBinaria

Instance(s)

list order fn list concatenate fn where fn multiplication fn addition fn subtraction fn division fn exponentiation fn log fn max fn min fn remainder fn union fn intersection fn relative complement fn kappa fn minimal weighted path fn maximal weighted path fn graph path fn measure fn interval fn density fn speed fn time interval fn recurrent time interval fn month fn day fn hour fn minute fn second fn temporal composition fn mereological sum fn mereological product fn mereological difference fn edition fn series volume fn periodical issue fn relative time fn

Subclass(es)

FunzioneAssociativa FunzioneCommutativa

Coordinate term(s)

PredicatoBinario RelazioneBinaria RuoloSemantico FunzioneContinua Funzione FunzioneDiQuantitá intentional relation AtteggiamentoOggettuale Predicato RelazioneDiProbabilitá AtteggiamentoProposizionale FunzioneQuaternaria PredicatoQuaternario RelazioneQuaternaria PredicatoQuinquenario RelazioneQuinquenaria RelazioneEstesaAQuantitá RelazioneMonovalente RelazioneSpaziale RelazioneTemporale FunzioneTernaria PredicatoTernario RelazioneTernaria FunzioneUnaria

Constrains relations

distributes identity element

Axioms (2)

Se function é un' istanza di FunzioneBinaria, allora function %&ha argomento(s.

(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))

se function is closed on class e function é un' istanza di FunzioneBinaria,
allora per ogni inst1,inst2 vale: se inst1 é un' istanza di class e inst2 é un' istanza di class, allora "function(inst1,inst2" é un' istanza di class

(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION BinaryFunction))
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (instance
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        ?CLASS))))