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

ling3 yu4 ci4 zhong3 lei4 (domainSubclass)

Predicate used to specify argument type restrictions of Predicates. The formula (domainSubclass rel int class) means that the int'th element of each tuple in the relation rel must be a subclass of class.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  san1 yuan2 shu4 ci2  
is instance of
  ling3 yu4 ci4 zhong3 lei4  

Coordinate term(s)

biao1 gao1  jie4 yu1  neng2 li4  tiao2 jian4 huo4 ran2 lv4  fu4 yu3 yi4 wu4  fu4 yu3 quan2 li4  xiang1 lian2  shen1 du4  ju4 li2  ling3 yu4  shi1 shi4 zhe3 you3 yi4 tu2  lian2 jie2  you3...zhi2 wei4  xiang4 dui4 fang1 wei4  pian1 ai4  SUMOwai4 bu4 xiang1 guan1 gai4 nian4  shi1 shi4 zhe3 cheng2 xian4  yi3...yu3 yan2 cheng2 xian4  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2 

Type restrictions

domainSubclass(guan1 xi4, zheng4 zheng3 shu4, ji2 he2 huo4 zhong3 lei4)

Axioms (5)

If rel1 shi4 rel2 de5 ci4 guan1 xi4 and rel2 de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4, then rel1 de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4. 
(=>
      (and
            (subrelation ?REL1 ?REL2)
            (domainSubclass ?REL2 ?NUMBER ?CLASS1))
      (domainSubclass ?REL1 ?NUMBER ?CLASS1))
If rel de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4 and rel de5 lun4 yuan2 number shi4 class2 de5 ci4 zhong3 lei4, then class1 shi4 class2 de5 ci4 zhong3 lei4 or class2 shi4 class1 de5 ci4 zhong3 lei4. 
(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS1)
            (domainSubclass ?REL ?NUMBER ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))
If rel1 de5 lun4 yuan2 number shi4 class1 de5 ci4 zhong3 lei4 and rel2 de5 lun4 yuan2 number shi4 class2 de5 ci4 zhong3 lei4 and class1 wu2 jiao1 ji2 yu1 class2, then wu2 jiao1 ji2 guan1 xi4(rel1,rel2) holds. 
(=>
      (and
            (domainSubclass ?REL1 ?NUMBER ?CLASS1)
            (domainSubclass ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))
If , then rel shi4 bu2 dui4 chen4 guan1 xi4 de5 shi2 li4. 
(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))
If rel de5 lun4 yuan2 number shi4 class de5 ci4 zhong3 lei4 and rel() (bu2) cheng2 li4s, then ""()" de5 di4 er4 yuan2 su4" shi4 class de5 ci4 zhong3 lei4. 
(=>
      (and
            (domainSubclass ?REL ?NUMBER ?CLASS)
            (holds ?REL @ROW))
      (subclass
            (ListOrderFn
                  (ListFn @ROW)
                  ?NUMBER)
            ?CLASS))