RelazioneBinaria (BinaryRelation)

BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

RelazioneBinaria

Superclass(es)

Entitá

Astratto

Relazione

RelazioneBinaria

Instance(s)

distributes

Subclass(es)

RelazioneRiflessiva RelazioneNonRiflessiva RelazioneSimmetrica RelazioneAntisimmetrica RelazioneTricotomizzante RelazioneTransitiva RelazioneIntransitiva FunzioneUnaria PredicatoBinario

Coordinate term(s)

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

Constrains relations

equivalence relation on inverse irreflexive on partial ordering on reflexive on total ordering on trichotomizing on

Axioms (4)

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

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

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

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

rel é un' istanza di RelazioneBinaria
il numero argomenti di rel é un istanza di class1 o il numero argomento rel é una sottoclasse diclass1
il numero argomenti di rel é un istanza di class2 o il numero argomento rel é una sottoclasse diclass2 o rango di rel é un'istanza di class2 o i valori resi da rel sono sottoclassi diclass2
class1 é disgiunto da class2

, allora rel é un' istanza di RelazioneAsimmetrica.

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))

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

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