液體的 (Liquid)

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

Ontology

SUMO / QUALITIES

Class(es)

物理狀態

液體的

Superattribute(s)

流體的

液體的

Coordinate term(s)

流體的氣體固體的

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 是濕潤的實例, then there exists obj so that 液體的是 obj 的屬性 and obj 是 wet 的受事者.

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

If melt 是熔化的實例 and obj 是 melt 的受事者, then there exists part so that part 是 obj 的部分) and 固體的是 part 的屬性 ""melt 存在的時間" 不久之前"a(之中) "melt 存在的時間" 不久之前 and 液體的是 part 的屬性 ""melt 存在的時間" 不久之後"a(之中) "melt 存在的時間" 不久之後.

(=>
      (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 是沸騰的實例 and obj 是 boil 的受事者, then there exists part so that part 是 obj 的部分) and 液體的是 part 的屬性 ""boil 存在的時間" 不久之前"a(之中) "boil 存在的時間" 不久之前 and 氣體是 part 的屬性 ""boil 存在的時間" 不久之後"a(之中) "boil 存在的時間" 不久之後.

(=>
      (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 是凝結的實例 and obj 是 cond 的受事者, then there exists part so that part 是 obj 的部分) and 氣體是 part 的屬性 ""cond 存在的時間" 不久之前"a(之中) "cond 存在的時間" 不久之前 and 液體的是 part 的屬性 ""cond 存在的時間" 不久之後"a(之中) "cond 存在的時間" 不久之後.

(=>
      (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 是凝固的實例 and obj 是 freeze 的受事者, then there exists part so that part 是 obj 的部分) and 液體的是 part 的屬性 ""freeze 存在的時間" 不久之前"a(之中) "freeze 存在的時間" 不久之前 and 固體的是 part 的屬性 ""freeze 存在的時間" 不久之後"a(之中) "freeze 存在的時間" 不久之後.

(=>
      (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 是飲料的實例, then 液體的是 bev 的屬性.

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

固體的對立於液體的.

(contraryAttribute Solid Liquid Gas)

窮盡的屬性.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

If obj 是溶液的實例, then 液體的是 obj 的屬性.

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

If 乾的是 obj 的屬性, then there doesn't exist subobj so that subobj 是 obj 的部分) and 液體的是 subobj 的屬性.

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

if 濕的是 obj 的屬性,
then for all part holds: if part 是 obj 的部分), then there exists subpart so that subpart 是 part 的部分) and 液體的是 subpart 的屬性

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