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

RelazioneAValoreParziale (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]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneAValoreParziale  

Coordinate term(s)

RelazioneBinaria  Lista  Predicato  RelazioneDiProbabilitá  RelazioneQuaternaria  RelazioneQuinquenaria  RelazioneEstesaAQuantitá  RelazioneMonovalente  RelazioneSpaziale  RelazioneTemporale  RelazioneTernaria  RelazioneAValoreTotale  RelazioneAdAritáVariabile 

Axioms (1)

Relazione é esaustivamente partizionato in RelazioneAValoreTotale,RelazioneAValoreParziale. 
(partition Relation TotalValuedRelation PartialValuedRelation)