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.

Ontologie

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

třída

inheritable relation

binární predikát
is instance of

nesymetrická relace
is instance of

třída

inheritable relation

relace s jedinou hodnotou
is instance of

valence

Související termín(y)

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

Typy argumentů

valence(relace, kladné celé číslo)

Axiomy (13)

Jestliže pred1 je a subrelation of pred2 a pred1 has number argument(s), potom pred2 has number argument(s).

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

Jestliže and ? are disjoint a rel1 je a member of "()" a rel2 je a member of "()" a rel1 has number argument(s), potom rel2 has number argument(s).

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

rel je instancí třídy úplná relace tehdy a jen tehdy pokud existuje valence tak, že rel je instancí třídy relace a rel has valence argument(s) a

jestliže pro všechny number,element,class platí: jestliže number je menší než valence a numberth argument of rel je an instance of class a element se rovná "numberth element of "()"", potom element je instancí třídy class,
potom existuje item tak, že rel(,item) holds

(<=>
      (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))))))

jestliže rel has number argument(s),
potom pro všechny platí: jestliže rel() holds, potom "length of "()"" se rovná number

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

Jestliže function je instancí třídy unární funkce, potom function has argument(s).

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

Jestliže function je instancí třídy binární funkce, potom function has argument(s).

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

Jestliže function je instancí třídy funkce se třemi argumenty, potom function has argument(s).

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

Jestliže function je instancí třídy funkce se čtyřmi argumenty, potom function has argument(s).

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

Jestliže rel je instancí třídy binární predikát, potom rel has argument(s).

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

Jestliže rel je instancí třídy predikát se třemi argumenty, potom rel has argument(s).

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

Jestliže rel je instancí třídy predikát se čtyřmi argumenty, potom rel has argument(s).

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

Jestliže rel je instancí třídy predikát s pěti argumenty, potom rel has argument(s).

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

Jestliže rel je instancí třídy relace s proměnným počtem argumentů, potom neexistuje int tak, že rel has int argument(s).

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