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

si4 yuan2 guan1 xi4 (QuaternaryRelation)

QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  si4 yuan2 guan1 xi4  

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  si4 yuan2 guan1 xi4  

Subclass(es)

san1 yuan2 han2 shu4  si4 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  shu4 ci2  huo4 ran2 lv4 guan1 xi4  ming4 ti2 tai4 du4  si4 yuan2 han2 shu4  si4 yuan2 shu4 ci2  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 (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 si4 yuan2 guan1 xi4 de5 shi2 li4, then there don't exist item1,item2,item3,item4,item5, so_that_not rel(item1,item2,item3,item4,item5,) (bu2) cheng2 li4s. 
(=>
      (instance ?REL QuaternaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))