qiong2 jin4 de5 shu3 xing4 (exhaustiveAttribute)

This predicate relates a Class to a set of Attributes, and it means that the elements of this set exhaust the instances of the Class. For example, (exhaustiveAttribute PhysicalState Solid Liquid Gas) means that there are only three instances of the class PhysicalState, viz. Solid, Liquid, and Gas.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

shu4 ci2

bian4 yi4 yuan2 shu4 guan1 xi4
is instance of

qiong2 jin4 de5 shu3 xing4

Coordinate term(s)

zhi3 ding4 han2 shu4 zui4 da4 gong1 yue1 shu4 han2 shu4 zui4 xiao3 gong1 bei4 shu4 han2 shu4 xu4 lie4 han2 shu4 mao2 dun4 shu3 xing4 wu2 jiao1 ji2 fen1 jie3 wu2 jiao1 ji2 guan1 xi4 qiong2 jin4 de5 fen1 jie3 cheng2 li4 fen1 ge1

Type restrictions

exhaustiveAttribute(subclass shu3 xing4)

Axioms (6)

if qiong2 jin4 de5 shu3 xing4,
then if attr shi4 "()" de5 yi1 cheng2 yuan2, then attr shi4 shu3 xing4 de5 shi2 li4

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (=>
            (inList
                  ?ATTR
                  (ListFn @ROW))
            (instance ?ATTR Attribute)))

if qiong2 jin4 de5 shu3 xing4,
then for all obj holds: if attr1 shi4 class de5 shi2 li4, then there exists attr2 so_that_not attr2 shi4 "()" de5 yi1 cheng2 yuan2 and attr1 deng3 yu1 attr2

(=>
      (exhaustiveAttribute ?CLASS @ROW)
      (forall
            (?OBJ)
            (=>
                  (instance ?ATTR1 ?CLASS)
                  (exists
                        (?ATTR2)
                        (and
                              (inList
                                    ?ATTR2
                                    (ListFn @ROW))
                              (equal ?ATTR1 ?ATTR2))))))

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute AnimacyAttribute Living Dead)

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute SexAttribute Female Male)

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)