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

shu4 ci2 (Predicate)

A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  shu4 ci2  

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  shu4 ci2  

Instance(s)

wu2 jiao1 ji2 guan1 xi4  mao2 dun4 shu3 xing4  qiong2 jin4 de5 shu3 xing4  qiong2 jin4 de5 fen1 jie3  wu2 jiao1 ji2 fen1 jie3  fen1 ge1  cheng2 li4 

Subclass(es)

luo2 ji2 yun4 suan4 yuan2  er4 yuan2 shu4 ci2  san1 yuan2 shu4 ci2  si4 yuan2 shu4 ci2  wu3 yuan2 shu4 ci2 

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  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  dan1 zhi2 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)

guan1 xi4 wan2 quan2 fen1 ge1 cheng2 shu4 ci2,han2 shu4,xu4 lie4. 
(partition Relation Predicate Function List)