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

bian4 yi4 yuan2 shu4 guan1 xi4 (VariableArityRelation)

The Class of Relations that do not have a fixed number of arguments.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  bian4 yi4 yuan2 shu4 guan1 xi4  

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  zhi3 ding4 han2 shu4  cheng2 li4  xu4 lie4 han2 shu4  zui4 da4 gong1 yue1 shu4 han2 shu4  zui4 xiao3 gong1 bei4 shu4 han2 shu4 

Coordinate term(s)

er4 yuan2 guan1 xi4  xu4 lie4  pian1 zhi2 guan1 xi4  shu4 ci2  huo4 ran2 lv4 guan1 xi4  si4 yuan2 guan1 xi4  wu3 yuan2 guan1 xi4  yu3 liang4 guan1 xi4  dan1 zhi2 guan1 xi4  kong1 jian1 guan1 xi4  shi2 jian1 guan1 xi4  san1 yuan2 guan1 xi4  quan2 zhi2 guan1 xi4 

Axioms (2)

guan1 xi4 wu2 jiao1 ji2 di4 fen1 jie3 cheng2 er4 yuan2 guan1 xi4,san1 yuan2 guan1 xi4,si4 yuan2 guan1 xi4,wu3 yuan2 guan1 xi4,bian4 yi4 yuan2 shu4 guan1 xi4. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
If rel shi4 bian4 yi4 yuan2 shu4 guan1 xi4 de5 shi2 li4, then there doesn't exist int so_that_not rel %&¦³ ½×¤¸(s) int. 
(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))