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

偏值關係 (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]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  偏值關係  

Coordinate term(s)

二元關係  序列  述詞  或然率關係  四元關係  五元關係  與量關係  單值關係  空間關係  時間關係  三元關係  全值關係  變異元數關係 

Axioms (1)

關係 完全 分割成 全值關係,偏值關係. 
(partition Relation TotalValuedRelation PartialValuedRelation)