Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liquid
Liquid(液體)

appearance as argument number 1
-------------------------


(documentation Liquid ChineseLanguage "这是如果一个 Object 的体积是固定,但它的形状却不是固定的话, 那么它的 Attribute 便是属于 Liquid。") chinese_format.kif 3928-3929
(documentation Liquid EnglishLanguage "An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.") Merge.kif 17527-17528
(instance Liquid PhysicalState) Merge.kif 17525-17525 液體 and PhysicalState
(subAttribute Liquid Fluid) Merge.kif 17526-17526 子屬性 液體 and 流體

appearance as argument number 2
-------------------------


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17512-17512 相反的屬性 固體, 液體, 加油站 and 等離子體
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31357-31357 roomTempState Absolut and 液體
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31475-31475 roomTempState and 液體
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31338-31338 roomTempState 酒精飲料 and 液體
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31476-31476 roomTempState Aldosterone and 液體
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31477-31477 roomTempState 生物鹼 and 液體
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31345-31345 roomTempState Amaretto and 液體
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31479-31479 roomTempState 氨基酸 and 液體
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31342-31342 roomTempState Aperitif and 液體
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31482-31482 roomTempState 阿托品 and 液體
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31353-31353 roomTempState Bacardi and 液體
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31483-31483 roomTempState 桿菌肽 and 液體
(roomTempState Baileys Liquid) Mid-level-ontology.kif 31346-31346 roomTempState Baileys and 液體
(roomTempState Beer Liquid) Mid-level-ontology.kif 31362-31362 roomTempState 啤酒 and 液體
(roomTempState Beverage Liquid) Mid-level-ontology.kif 31334-31334 roomTempState Beverage and 液體
(roomTempState BloodAgent Liquid) Mid-level-ontology.kif 31470-31470 roomTempState 血液劑 and 液體
(roomTempState Boron Liquid) Mid-level-ontology.kif 31371-31371 roomTempState and 液體
(roomTempState Brandy Liquid) Mid-level-ontology.kif 31361-31361 roomTempState 白蘭地 and 液體
(roomTempState Bromine Liquid) Mid-level-ontology.kif 31402-31402 roomTempState and 液體
(roomTempState Buttermilk Liquid) Food.kif 3170-3170 roomTempState Buttermilk and 液體
(roomTempState Campari Liquid) Mid-level-ontology.kif 31343-31343 roomTempState Campari and 液體
(roomTempState Chambord Liquid) Mid-level-ontology.kif 31347-31347 roomTempState Chambord and 液體
(roomTempState Champagne Liquid) Mid-level-ontology.kif 31340-31340 roomTempState Champagne and 液體
(roomTempState ChemicalAcid Liquid) Mid-level-ontology.kif 31492-31492 roomTempState 化學酸 and 液體
(roomTempState ChemicalBase Liquid) Mid-level-ontology.kif 31493-31493 roomTempState 化學基地 and 液體

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17513-17513 固體 是所有的 PhysicalStateattributes

antecedent
-------------------------


(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP ?L2)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))
Cars.kif 1741-1761
(=>
    (and
        (instance ?C Colloid)
        (part ?P ?C)
        (or
            (attribute ?P Solid)
            (attribute ?P Liquid))
        (instance ?AIR Air)
        (part ?AIR ?C))
    (instance ?C Aerosal))
Geography.kif 7523-7532
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17564-17571
(=>
    (and
        (roomTempState ?C ?PS)
        (instance ?S ?C)
        (holdsDuring ?T
            (roomTempState ?C Liquid))
        (measure ?S
            (MeasureFn 101
                (KiloFn Pascal))))
    (holdsDuring ?T
        (measure ?S
            (MeasureFn 68 FahrenheitDegree))))
Mid-level-ontology.kif 31595-31606
(=>
    (attribute ?L Liquid)
    (capability Boiling patient ?L))
Merge.kif 13913-13915

consequent
-------------------------


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
Merge.kif 10276-10280
(=>
    (and
        (instance ?BOIL Boiling)
        (patient ?BOIL ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?BOIL))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?BOIL))
                (attribute ?PART Gas)))))
Merge.kif 13903-13911
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))
Mid-level-ontology.kif 4664-4668
(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP ?L2)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))
Cars.kif 1741-1761
(=>
    (and
        (instance ?COND Condensing)
        (patient ?COND ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COND))
                (attribute ?PART Gas))
            (holdsDuring
                (EndFn
                    (WhenFn ?COND))
                (attribute ?PART Liquid)))))
Merge.kif 13949-13957
(=>
    (and
        (instance ?DEPOSITION Deposition)
        (patient ?DEPOSITION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Gas))
            (holdsDuring
                (EndFn
                    (WhenFn ?DEPOSITION))
                (attribute ?PART Solid))
            (not
                (holdsDuring
                    (WhenFn ?DEPOSITION)
                    (attribute ?PART Liquid))))))
Geography.kif 6975-6992
(=>
    (and
        (instance ?E Edema)
        (experiencer ?E ?A))
    (exists (?T ?P ?L)
        (and
            (instance ?T Transfer)
            (instance ?L Liquid)
            (instance ?P BodyPart)
            (part ?P ?A)
            (destination ?T ?P)
            (moves ?T ?L)
            (subProcess ?T ?E))))
Mid-level-ontology.kif 9936-9948
(=>
    (and
        (instance ?EVAP Evaporating)
        (boilingPoint ?CLASS
            (MeasureFn ?BOILVAL ?MEAS))
        (instance ?OBJ ?CLASS)
        (measure ?OBJ
            (MeasureFn ?VAL ?MEAS))
        (instance ?MEAS UnitOfTemperature)
        (patient ?EVAP ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (greaterThan ?BOILVAL ?VAL)
            (holdsDuring
                (BeginFn
                    (WhenFn ?EVAP))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?EVAP))
                (attribute ?PART Gas)))))
Merge.kif 13923-13936
(=>
    (and
        (instance ?FREEZE Freezing)
        (patient ?FREEZE ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?FREEZE))
                (attribute ?PART Liquid))
            (holdsDuring
                (EndFn
                    (WhenFn ?FREEZE))
                (attribute ?PART Solid)))))
Merge.kif 13970-13978
(=>
    (and
        (instance ?LD LiquidDrop)
        (surface ?S ?LD))
    (modalAttribute
        (exists (?SS ?LL)
            (and
                (instance ?LL Substance)
                (attribute ?LL Liquid)
                (not
                    (equal ?LD ?LL))
                (surface ?SS ?LL)
                (meetsSpatially ?S ?SS))) Unlikely))
Geography.kif 7475-7487
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2166-2174
(=>
    (and
        (instance ?MELT Melting)
        (patient ?MELT ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MELT))
                (attribute ?PART Solid))
            (holdsDuring
                (EndFn
                    (WhenFn ?MELT))
                (attribute ?PART Liquid)))))
Merge.kif 13882-13890
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))
Merge.kif 11210-11214
(=>
    (and
        (instance ?SUBLIMATION Sublimation)
        (patient ?SUBLIMATION ?OBJ))
    (exists (?PART)
        (and
            (part ?PART ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Solid))
            (holdsDuring
                (EndFn
                    (WhenFn ?SUBLIMATION))
                (attribute ?PART Gas))
            (not
                (holdsDuring
                    (WhenFn ?SUBLIMATION)
                    (attribute ?PART Liquid))))))
Geography.kif 7027-7044
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP2 ?MEASURE))
        (instance ?MEASURE UnitOfTemperature)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP3 ?MEASURE)))
        (greaterThan ?TEMP3 ?TEMP2)
        (lessThan ?TEMP3 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Liquid))
        (exists (?MELT)
            (and
                (overlapsTemporally
                    (WhenFn ?MELT) ?TIME)
                (instance ?MELT Melting)
                (patient ?MELT ?SUBSTANCE)))))
Merge.kif 13833-13848
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?MELT)
        (lessThan ?TEMP ?BOIL))
    (attribute ?X Liquid))
Merge.kif 13779-13788
(=>
    (attribute ?OBJ Dry)
    (not
        (exists (?SUBOBJ)
            (and
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))
Merge.kif 17965-17971
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
        (=>
            (part ?PART ?OBJ)
            (exists (?SUBPART)
                (and
                    (part ?SUBPART ?PART)
                    (attribute ?SUBPART Liquid))))))
Merge.kif 17983-17991
(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 1871-1878
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 4975-4980
(=>
    (instance ?BEV Beverage)
    (attribute ?BEV Liquid))
Food.kif 395-397
(=>
    (instance ?C Clotting)
    (exists (?B)
        (and
            (instance ?B Blood)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (attribute ?B Liquid))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?C))
                (attribute ?B Solid)))))
Mid-level-ontology.kif 10470-10482
(=>
    (instance ?C Colander)
    (hasPurpose ?C
        (exists (?MIX ?SUB ?SOLID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Liquid)
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?SUB)
                (instance ?SOLID Substance)
                (part ?SOLID ?MIX)
                (attribute ?SOLID Solid)
                (result ?REMOVE ?SOLID)
                (instrument ?REMOVE ?C)))))
Mid-level-ontology.kif 4542-4557
(=>
    (instance ?D Diluting)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Solution)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 19567-19573
(=>
    (instance ?D Diuretic)
    (hasPurpose ?D
        (exists (?R ?L ?H ?LOC)
            (and
                (instance ?H Human)
                (instance ?R Removing)
                (instance ?L Liquid)
                (experiencer ?R ?H)
                (moves ?R ?L)
                (origin ?L ?H)
                (not
                    (contains ?H ?LOC))
                (destination ?R ?LOC)))))
Mid-level-ontology.kif 9982-9995

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners