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

relace s jedinou hodnotou (SingleValuedRelation)

A Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are total functions. To declare that a Relation is a total function, use both SingleValuedFunction and TotalValuedFunction.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  relace s jedinou hodnotou  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s jedinou hodnotou  

Instance(s)

valence  unique identifier  age  width  distance  altitude  depth  monetary value  date  mother  father 

Podtřída(y)

funkce 

Související termín(y)

binární funkce  binární predikát  binární relace  case role  funkce  intentional relation  seznam  postoj k objektu  neúplná relace  predikát  pravděpodobnostní relace  postoj k tvrzení  funkce se čtyřmi argumenty  predikát se čtyřmi argumenty  relace se čtyřmi argumenty  predikát s pěti argumenty  relace s pěti argumenty  relace rozšířená na veličiny  prostorová relace  časová relace  funkce se třemi argumenty  predikát se třemi argumenty  terciální relace  úplná relace  unární funkce  relace s proměnným počtem argumentů 

Axiomy (1)

rel je instancí třídy relace s jedinou hodnotou tehdy a jen tehdy pokud pro všechny ,item1,item2 platí: jestliže rel(,item1) holds a rel(,item2) holds, potom item1 se rovná item2. 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))