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

ke3 ji4 cheng2 guan1 xi4 (InheritableRelation)

This is a Class of Classes. Each instance of InheritableRelation is a subclass of Relation whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  

Instance(s)

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

Axioms (1)

If pred1 shi4 pred2 de5 ci4 guan1 xi4 and pred2 shi4 class de5 shi2 li4 and class shi4 ke3 ji4 cheng2 guan1 xi4 de5 shi2 li4, then pred1 shi4 class de5 shi2 li4. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))