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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liquid
Liquid(liquid)dissolvent, dissolver, dissolving_agent, distillate, distillation, elixir, extravasation, fluid, fluidity, fluidness, gluey, glutinous, gooey, gummy, icky, instillation, liquid, liquid_crystal, liquid_nitrogen, liquid_state, liquidity, liquidness, liquor, menstruum, methylbenzene, mucilaginous, oil-water_interface, pasty, pitchy, resinous, resiny, resolvent, ropey, ropy, runniness, runny, solvent, spill, splashed, sticky, stringy, supernatant, syrupy, tarry, thready, toluene, viscid, viscous, wateriness, watery...

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 17636-17637
(instance Liquid PhysicalState) Merge.kif 17634-17634 Liquid is an instance of physical state
(subAttribute Liquid Fluid) Merge.kif 17635-17635 Liquid is a subattribute of fluid

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


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17621-17621 Solid is the opposite of liquid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31705-31705 roomTempState Absolut and liquid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31823-31823 roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31686-31686 roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31824-31824 roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31825-31825 roomTempState alkaloid and liquid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31693-31693 roomTempState amaretto and liquid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31827-31827 roomTempState amino acid and liquid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31690-31690 roomTempState aperitif and liquid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31830-31830 roomTempState atropine and liquid
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31701-31701 roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31831-31831 roomTempState bacitracin and liquid
(roomTempState Baileys Liquid) Mid-level-ontology.kif 31694-31694 roomTempState Baileys and liquid
(roomTempState Beer Liquid) Mid-level-ontology.kif 31710-31710 roomTempState beer and liquid
(roomTempState Beverage Liquid) Mid-level-ontology.kif 31682-31682 roomTempState beverage and liquid
(roomTempState BloodAgent Liquid) Mid-level-ontology.kif 31818-31818 roomTempState blood agent and liquid
(roomTempState Boron Liquid) Mid-level-ontology.kif 31719-31719 roomTempState boron and liquid
(roomTempState Brandy Liquid) Mid-level-ontology.kif 31709-31709 roomTempState brandy and liquid
(roomTempState Bromine Liquid) Mid-level-ontology.kif 31750-31750 roomTempState bromine and liquid
(roomTempState Buttermilk Liquid) Food.kif 3170-3170 roomTempState buttermilk and liquid
(roomTempState Campari Liquid) Mid-level-ontology.kif 31691-31691 roomTempState Campari and liquid
(roomTempState Chambord Liquid) Mid-level-ontology.kif 31695-31695 roomTempState Chambord and liquid
(roomTempState Champagne Liquid) Mid-level-ontology.kif 31688-31688 roomTempState champagne and liquid
(roomTempState ChemicalAcid Liquid) Mid-level-ontology.kif 31840-31840 roomTempState chemical acid and liquid
(roomTempState ChemicalBase Liquid) Mid-level-ontology.kif 31841-31841 roomTempState chemical base and liquid

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 17622-17622 Solid are all the attributes of physical state

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 1747-1767
(=>
    (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 7545-7554
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17673-17680
(=>
    (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 31943-31954
(=>
    (attribute ?L Liquid)
    (capability Boiling patient ?L))		 Merge.kif 13989-13991

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


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))		 Merge.kif 10312-10316
(=>
    (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 13979-13987
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))		 Mid-level-ontology.kif 4687-4691
(=>
    (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 1747-1767
(=>
    (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 14025-14033
(=>
    (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 6997-7014
(=>
    (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 10182-10194
(=>
    (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 13999-14012
(=>
    (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 14046-14054
(=>
    (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 7497-7509
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))		 Cars.kif 2149-2157
(=>
    (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 13958-13966
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))		 Merge.kif 11260-11264
(=>
    (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 7049-7066
(=>
    (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 13909-13924
(=>
    (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 13855-13864
(=>
    (attribute ?OBJ Dry)
    (not
        (exists (?SUBOBJ)
            (and
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))		 Merge.kif 18074-18080
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
        (=>
            (part ?PART ?OBJ)
            (exists (?SUBPART)
                (and
                    (part ?SUBPART ?PART)
                    (attribute ?SUBPART Liquid))))))		 Merge.kif 18092-18100
(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 1892-1899
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 4997-5002
(=>
    (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 10716-10728
(=>
    (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 4565-4580
(=>
    (instance ?D Diluting)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Solution)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 19876-19882
(=>
    (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 10228-10241

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