gu4 ti1 de5 (Solid)

An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.

Ontology

SUMO / QUALITIES

Class(es)

wu4 li3 zhuang4 tai4

gu4 ti1 de5

Coordinate term(s)

liu2 ti1 de5 qi4 ti3 ye4 ti1 de5

Related WordNet synsets

solidity, solidness: the consistency of a solid
solid, solidness: the state in which a substance has no tendency to flow under moderate stress; resists forces (such as compression) that tend to deform it; and retains an definite size and shape
solid: of definite shape and volume; firm; neither liquid nor gaseous; "ice is water in the solid state"

See more related synsets on a separate page.

Axioms (5)

If act shi4 chi1 de5 shi2 li4 and food shi4 act de5 shou4 shi4 zhe3, then gu4 ti1 de5 shi4 food de5 shu3 xing4.

(=>
      (and
            (instance ?ACT Eating)
            (patient ?ACT ?FOOD))
      (attribute ?FOOD Solid))

If melt shi4 rong2 hua4 de5 shi2 li4 and obj shi4 melt de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and gu4 ti1 de5 shi4 part de5 shu3 xing4 ""melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "melt cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))

If freeze shi4 ning2 gu4 de5 shi2 li4 and obj shi4 freeze de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and gu4 ti1 de5 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?FREEZE Freezing)
            (patient ?FREEZE ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Solid)))))

gu4 ti1 de5 dui4 li4 yu1 ye4 ti1 de5.

(contraryAttribute Solid Liquid Gas)

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)