wu4 zhi4 (Substance)

An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

wu4 zhi4

Subclass(es)

chun2 wu4 zhi4 hun4 he2 wu4 huo2 xing4 sheng1 wu4 wu4 zhi4

Coordinate term(s)

na4 rong2 zai4 ti3 fu4 za2 ti1/fei1 dan1 zhi4 ti1 shi2 wu4

Constrains relations

wu4 zhi4 shi4 wu4 de5 yi1 xiao3 bu4 fen5

Related WordNet synsets

substance: the stuff of which an object consists
material, stuff: the tangible substance that goes into the makeup of a physical object; "coal is a hard black material"; "wheat is the stuff they use to make bread"

See more related synsets on a separate page.

Axioms (5)

If objecttype shi4 wu4 zhi4 de5 ci4 zhong3 lei4 and object shi4 objecttype de5 shi2 li4 and part shi4 object de5 bu4 fen5), then part shi4 objecttype de5 shi2 li4.

(=>
      (and
            (subclass ?OBJECTTYPE Substance)
            (instance ?OBJECT ?OBJECTTYPE)
            (part ?PART ?OBJECT))
      (instance ?PART ?OBJECTTYPE))

If obj shi4 wu4 zhi4 de5 shi2 li4 and attr shi4 obj de5 shu3 xing4 and part shi4 obj de5 bu4 fen5), then attr shi4 part de5 shu3 xing4.

(=>
      (and
            (instance ?OBJ Substance)
            (attribute ?OBJ ?ATTR)
            (part ?PART ?OBJ))
      (attribute ?PART ?ATTR))

fu4 za2 ti1/fei1 dan1 zhi4 ti1 wu2 jiao1 ji2 yu1 wu4 zhi4.

(disjoint CorpuscularObject Substance)

If obj shi4 fu4 za2 ti1/fei1 dan1 zhi4 ti1 de5 shi2 li4, then there exist wu4 zhi4 substance1,wu4 zhi4 substance2 so_that_not substance1 shi4 you2 obj zu3 cheng2 and substance2 shi4 you2 obj zu3 cheng2 and substance1 deng3 yu1 substance2.

(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))

obj shi4 wu4 zhi4 de5 shi2 li4 if and only if there exists wu4 li3 zhuang4 tai4 attr so_that_not attr shi4 obj de5 shu3 xing4.

(<=>
      (instance ?OBJ Substance)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR PhysicalState)
                  (attribute ?OBJ ?ATTR))))