ye4 ti1 de5 (Liquid)

An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.

Ontology

SUMO / QUALITIES

Class(es)

wu4 li3 zhuang4 tai4

ye4 ti1 de5

Superattribute(s)

liu2 ti1 de5

ye4 ti1 de5

Coordinate term(s)

liu2 ti1 de5 qi4 ti3 gu4 ti1 de5

Related WordNet synsets

fluidity, fluidness, liquidity, liquidness, runniness: the property of flowing easily
liquid, liquidness, liquidity: the state in which a substance exhibits a characteristic readiness to flow with little or no tendency to disperse and relatively high incompressibility
liquid: a substance in the fluid state of matter having no fixed shape but a fixed volume
liquid: a substance that is liquid at room temperature and pressure
liquid: existing as or have characteristics of a liquid; especially tending to flow; "water and milk and blood are liquid substances"

See more related synsets on a separate page.

Axioms (11)

If wet shi4 shi1 run4 de5 shi2 li4, then there exists obj so_that_not ye4 ti1 de5 shi4 obj de5 shu3 xing4 and obj shi4 wet de5 shou4 shi4 zhe3.

(=>
      (instance ?WET Wetting)
      (exists
            (?OBJ)
            (and
                  (attribute ?OBJ Liquid)
                  (patient ?WET ?OBJ))))

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 boil shi4 fei4 teng2 de5 shi2 li4 and obj shi4 boil 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 ""boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and qi4 ti3 shi4 part de5 shu3 xing4 ""boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "boil cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))

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

(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (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)))))

If bev shi4 yin3 liao4 de5 shi2 li4, then ye4 ti1 de5 shi4 bev de5 shu3 xing4.

(=>
      (instance ?BEV Beverage)
      (attribute ?BEV Liquid))

gu4 ti1 de5 dui4 li4 yu1 ye4 ti1 de5.

(contraryAttribute Solid Liquid Gas)

Qiong2 jin4 de5 shu3 xing4.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

If obj shi4 rong2 ye4 de5 shi2 li4, then ye4 ti1 de5 shi4 obj de5 shu3 xing4.

(=>
      (instance ?OBJ Solution)
      (attribute ?OBJ Liquid))

If qian2 de5 shi4 obj de5 shu3 xing4, then there doesn't exist subobj so_that_not subobj shi4 obj de5 bu4 fen5) and ye4 ti1 de5 shi4 subobj de5 shu3 xing4.

(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))

if shi1 de5 shi4 obj de5 shu3 xing4,
then for all part holds: if part shi4 obj de5 bu4 fen5), then there exists subpart so_that_not subpart shi4 part de5 bu4 fen5) and ye4 ti1 de5 shi4 subpart de5 shu3 xing4

(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))