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

fei1 fan3 shen1 guan1 xi4 (IrreflexiveRelation)

Relation rel is irreflexive if (rel inst inst) holds for no value of inst.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  guan1 xi4  
is subclass of
  er4 yuan2 guan1 xi4  
is subclass of
  fei1 fan3 shen1 guan1 xi4  

Instance(s)

wu2 jiao1 ji2  feng1 bi4 xu4 jie1 shu3 xing4  zheng4 mian4 han2 shu4  fan3 mian4 han2 shu4  ci4 ju4 ji2  shu3 xing4  fang1 shi4/qing2 zhuang4  xiao3 yu1  da4 yu1  zeng1 jia1 ke3 neng2 xing4  jiang4 di1 ke3 neng2 xing4  chuan4 lie4 zhong1  yi4 zhi4  bi4 mian3  ci4 ming4 ti2  ci4 ji4 hua4  tu2 bu4 fen5  lu4 jing4 chang2  da4 yu1  xiao3 yu1  kai1 shi3  wan2 cheng2  xian1 yu1  qi1 jian1  jiao4 zao3  kong1 jian1 shang4 jie1 chu4  bu4 fen5 zhong4 die2  wai4 biao3 bu4 fen5  na4 bu4  xiong1 di4 zi3 mei4  yi3 lian2 jie2 gong1 cheng2 yuan2 jian4  ci4 zu3 zhi1  qing2 tai4 shu3 xing4 

Subclass(es)

bu2 dui4 chen4 guan1 xi4 

Coordinate term(s)

fan3 dui4 chen4 guan1 xi4  er4 yuan2 shu4 ci2  fei1 ke3 di4 guan1 xi4  fan3 shen1 guan1 xi4  dui4 chen4 guan1 xi4  ke3 di4 guan1 xi4  san1 jiao3 guan1 xi4  yi1 yuan2 han2 shu4 

Axioms (1)

If rel shi4 fei1 fan3 shen1 guan1 xi4 de5 shi2 li4, then for all inst holds: rel(inst,inst) not(bu2) cheng2 li4. 
(=>
      (instance ?REL IrreflexiveRelation)
      (forall
            (?INST)
            (not
                  (holds ?REL ?INST ?INST))))