RelazioneTernaria (TernaryRelation)

TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

RelazioneTernaria

Superclass(es)

Entitá

Astratto

Relazione

RelazioneTernaria

Subclass(es)

FunzioneBinaria PredicatoTernario

Coordinate term(s)

FunzioneBinaria PredicatoBinario RelazioneBinaria RuoloSemantico Funzione intentional relation Lista AtteggiamentoOggettuale RelazioneAValoreParziale Predicato RelazioneDiProbabilitá AtteggiamentoProposizionale FunzioneQuaternaria PredicatoQuaternario RelazioneQuaternaria PredicatoQuinquenario RelazioneQuinquenaria RelazioneEstesaAQuantitá RelazioneMonovalente RelazioneSpaziale RelazioneTemporale FunzioneTernaria PredicatoTernario RelazioneAValoreTotale FunzioneUnaria RelazioneAdAritáVariabile

Axioms (3)

Relazione é scomposto disgiuntivamente in RelazioneBinaria,RelazioneTernaria,RelazioneQuaternaria,RelazioneQuinquenaria,RelazioneAdAritáVariabile.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

Se rel é un' istanza di RelazioneTernaria, allora non esiste item1,item2,item3,item4, tale che rel(item1,item2,item3,item4, vales.

(=>
      (instance ?REL TernaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 @ROW))))

se rel é un' istanza di RelazioneEstesaAQuantitá e rel é un' istanza di RelazioneTernaria e number1 é un' istanza di NumeroReale e number2 é un' istanza di NumeroReale e rel(number1,number2,value vales,
allora per ogni unit vale: se unit é un' istanza di UnitáDiMisura, allora rel("number1 unit(s","number2 unit(s","value unit(s" vales

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))