Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

partial valued relation (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.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  partial valued relation  

Coordinate term(s)

binary relation  list  predicate  probability relation  quaternary relation  quintary relation  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary relation  total valued relation  variable arity relation 

Axioms (1)

relation is exhaustively partitioned into total valued relation,partial valued relation. 
(partition Relation TotalValuedRelation PartialValuedRelation)