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

neúplná relace (PartialValuedRelation)

A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a Relation is both a PartialValuedRelation and a SingleValuedRelation, then it is a partial function.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  neúplná relace  

Související termín(y)

binární relace  seznam  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  relace s proměnným počtem argumentů 

Axiomy (1)

relace je exhaustively partitioned into úplná relace,neúplná relace. 
(partition Relation TotalValuedRelation PartialValuedRelation)