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

單值關係 (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.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  單值關係  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  

Instance(s)

（結合）價  單一指稱  年紀  寬度  距離  標高  深度  貨幣價值  日期  母親  父親 

Subclass(es)

函數 

Coordinate term(s)

二元函數  二元述詞  二元關係  格位角色  函數  意圖關係  序列  受事導向（歷程）  偏值關係  述詞  或然率關係  命題態度  四元函數  四元述詞  四元關係  五元述詞  五元關係  與量關係  空間關係  時間關係  三元函數  三元述詞  三元關係  全值關係  一元函數  變異元數關係 

Axioms (1)

rel 是 單值關係 的 實例 if and only if for all ,item1,item2 holds: if rel(,item1) (不) 成立s and rel(,item2) (不) 成立s, then item1 等於 item2. 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))