Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

relace s proměnným počtem argumentů (VariableArityRelation)

The Class of Relations that do not have a fixed number of arguments.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s proměnným počtem argumentů  

Instance(s)

disjoint relation  contrary attribute  exhaustive attribute  exhaustive decomposition  disjoint decomposition  partition  assignment fn  holds  list fn  greatest common divisor fn  least common multiple fn 

Související termín(y)

binární relace  seznam  neúplná relace  predikát  pravděpodobnostní relace  relace se čtyřmi argumenty  relace s pěti argumenty  relace rozšířená na veličiny  relace s jedinou hodnotou  prostorová relace  časová relace  terciální relace  úplná relace 

Axiomy (2)

relace je disjointly decomposed into binární relace,terciální relace,relace se čtyřmi argumenty,relace s pěti argumenty,relace s proměnným počtem argumentů. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
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))))