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)

varga

inheritable relation

dvi-lakshana
is instance of

asaamanjasyapUrNa sambandha
is instance of

varga

inheritable relation

eka mUlyaadeya sambandha
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(sambandha, dhanaatmaka pUrNaanka)

Axioms (13)

Agar pred1 is a subrelation of pred2 aur pred1 ke number konaanke bahanen hai, to pred2 ke number konaanke bahanen hai.

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

Agar and ? are disjoint aur rel1 is a member of "()" aur rel2 is a member of "()" aur rel1 ke number konaanke bahanen hai, to rel2 ke number konaanke bahanen hai.

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

rel is an instance of pUrNa mUlyaadeya sambandha agar hai yah kuch valence nahin, ki rel is an instance of sambandha aur rel ke valence konaanke bahanen hai aur

agar sab-kuch number,element,class ke lie hai, ki: agar number is less than valence aur the number number argument of rel is an instance of class aur element is equal to "numberth element of "()"", to element is an instance of class,
to yah kuch item nahin, ki 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))))))

agar rel ke number konaanke bahanen hai,
to sab-kuch ke lie hai, ki: agar rel() holds, to ""()" kii lambaaaii" is equal to number

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

Agar function is an instance of ekaadhaary prakaarya, to function ke konaanke bahanen hai.

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

Agar function is an instance of dvi-aadhaary prakaarya, to function ke konaanke bahanen hai.

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

Agar function is an instance of tri-angI prakaarya, to function ke konaanke bahanen hai.

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

Agar function is an instance of chaturangI prakaarya, to function ke konaanke bahanen hai.

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

Agar rel is an instance of dvi-lakshana, to rel ke konaanke bahanen hai.

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

Agar rel is an instance of triangii lakshana, to rel ke konaanke bahanen hai.

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

Agar rel is an instance of caturangii pakshana, to rel ke konaanke bahanen hai.

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

Agar rel is an instance of pancha lakshana, to rel ke konaanke bahanen hai.

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

Agar rel is an instance of parivartaniiya sanbandha, to yah kuch int nahin, ki rel ke int konaanke bahanen hai.

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