valence (valence)

Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation. For example, holds is a VariableArityRelation.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneAsimmetrica
is instance of

Classe

inheritable relation

RelazioneMonovalente
is instance of

valence

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn age altitude arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood depth developmental form disjoint distance distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation father fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute monetary value mother overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on unique identifier uses version width

Type restrictions

valence(Relazione, NumeroInteroPositivo)

Axioms (13)

Se pred1 é una sottorelazione di pred2 e pred1 %&ha number argomento(s, allora pred2 %&ha number argomento(s.

(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (valence ?PRED1 ?NUMBER))
      (valence ?PRED2 ?NUMBER))

Se e ? sono disgiunti e rel1 é un é membro di "(" e rel2 é un é membro di "(" e rel1 %&ha number argomento(s, allora rel2 %&ha number argomento(s.

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL1
                  (ListFn @ROW))
            (inList
                  ?REL2
                  (ListFn @ROW))
            (valence ?REL1 ?NUMBER))
      (valence ?REL2 ?NUMBER))

rel é un' istanza di RelazioneAValoreTotale se e solo se esiste valence tale che rel é un' istanza di Relazione e rel %&ha valence argomento(s e

se per ogni number,element,class vale: se number é meno divalence e il numero number argomenti di rel é un istanza di class e element is uguale a "numberth elemento di "("", allora element é un' istanza di class,
allora esiste item tale che rel(,item vales

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))

se rel %&ha number argomento(s,
allora per ogni vale: se rel( vales, allora "lunghezza di "("" is uguale a number

(=>
      (valence ?REL ?NUMBER)
      (forall
            (@ROW)
            (=>
                  (holds ?REL @ROW)
                  (equal
                        (ListLengthFn
                              (ListFn @ROW))
                        ?NUMBER))))

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

(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))

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

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

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

(=>
      (instance ?FUNCTION TernaryFunction)
      (valence ?FUNCTION 3))

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

(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))

Se rel é un' istanza di PredicatoBinario, allora rel %&ha argomento(s.

(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))

Se rel é un' istanza di PredicatoTernario, allora rel %&ha argomento(s.

(=>
      (instance ?REL TernaryPredicate)
      (valence ?REL 3))

Se rel é un' istanza di PredicatoQuaternario, allora rel %&ha argomento(s.

(=>
      (instance ?REL QuaternaryPredicate)
      (valence ?REL 4))

Se rel é un' istanza di PredicatoQuinquenario, allora rel %&ha argomento(s.

(=>
      (instance ?REL QuintaryPredicate)
      (valence ?REL 5))

Se rel é un' istanza di RelazioneAdAritáVariabile, allora non esiste int tale che rel %&ha int argomento(s.

(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))