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

dan1 zhi2 guan1 xi4 (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)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  dan1 zhi2 guan1 xi4  

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  dan1 zhi2 guan1 xi4  

Instance(s)

jie2 he2 jia4  dan1 yi1 zhi3 cheng1  nian2 ji4  kuan1 du4  ju4 li2  biao1 gao1  shen1 du4  huo4 bi4 jia4 zhi2  ri4 qi1  mu3 qin1  fu4 qin1 

Subclass(es)

han2 shu4 

Coordinate term(s)

er4 yuan2 han2 shu4  er4 yuan2 shu4 ci2  er4 yuan2 guan1 xi4  ge2 wei4 jue2 se4  han2 shu4  yi4 tu2 guan1 xi4  xu4 lie4  shou4 shi4 dao3 xiang4 li4 cheng2  pian1 zhi2 guan1 xi4  shu4 ci2  huo4 ran2 lv4 guan1 xi4  ming4 ti2 tai4 du4  si4 yuan2 han2 shu4  si4 yuan2 shu4 ci2  si4 yuan2 guan1 xi4  wu3 yuan2 shu4 ci2  wu3 yuan2 guan1 xi4  yu3 liang4 guan1 xi4  kong1 jian1 guan1 xi4  shi2 jian1 guan1 xi4  san1 yuan2 han2 shu4  san1 yuan2 shu4 ci2  san1 yuan2 guan1 xi4  quan2 zhi2 guan1 xi4  yi1 yuan2 han2 shu4  bian4 yi4 yuan2 shu4 guan1 xi4 

Axioms (1)

rel shi4 dan1 zhi2 guan1 xi4 de5 shi2 li4 if and only if for all ,item1,item2 holds: if rel(,item1) (bu2) cheng2 li4s and rel(,item2) (bu2) cheng2 li4s, then item1 deng3 yu1 item2. 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))