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 17725-17726
(instance Liquid PhysicalState) Merge.kif 17723-17723 Liquid is an instance of physical state
(subAttribute Liquid Fluid) Merge.kif 17724-17724 Liquid is a subattribute of fluid

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


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17710-17710 Solid is the opposite of liquid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 33144-33144 room temperature state Absolut and liquid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 33262-33262 room temperature state alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 33125-33125 room temperature state alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 33263-33263 room temperature state aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 33264-33264 room temperature state alkaloid and liquid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 33132-33132 room temperature state amaretto and liquid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 33266-33266 room temperature state amino acid and liquid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 33129-33129 room temperature state aperitif and liquid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 33269-33269 room temperature state atropine and liquid
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 33140-33140 room temperature state Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 33270-33270 room temperature state bacitracin and liquid
(roomTempState Baileys Liquid) Mid-level-ontology.kif 33133-33133 room temperature state Baileys and liquid
(roomTempState Beer Liquid) Mid-level-ontology.kif 33149-33149 room temperature state beer and liquid
(roomTempState Beverage Liquid) Mid-level-ontology.kif 33121-33121 room temperature state beverage and liquid
(roomTempState BloodAgent Liquid) Mid-level-ontology.kif 33257-33257 room temperature state blood agent and liquid
(roomTempState Boron Liquid) Mid-level-ontology.kif 33158-33158 room temperature state boron and liquid
(roomTempState Brandy Liquid) Mid-level-ontology.kif 33148-33148 room temperature state brandy and liquid
(roomTempState Bromine Liquid) Mid-level-ontology.kif 33189-33189 room temperature state bromine and liquid
(roomTempState Buttermilk Liquid) Food.kif 3177-3177 room temperature state buttermilk and liquid
(roomTempState Campari Liquid) Mid-level-ontology.kif 33130-33130 room temperature state Campari and liquid
(roomTempState Chambord Liquid) Mid-level-ontology.kif 33134-33134 room temperature state Chambord and liquid
(roomTempState Champagne Liquid) Mid-level-ontology.kif 33127-33127 room temperature state champagne and liquid
(roomTempState ChemicalAcid Liquid) Mid-level-ontology.kif 33279-33279 room temperature state chemical acid and liquid
(roomTempState ChemicalBase Liquid) Mid-level-ontology.kif 33280-33280 room temperature state 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 17711-17711 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 1748-1768
(=>
    (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 7615-7624
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17762-17769
(=>
    (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 33383-33394
(=>
    (attribute ?L Liquid)
    (capability Boiling patient ?L))		 Merge.kif 14081-14083

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


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))		 Merge.kif 10401-10405
(=>
    (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 14071-14079
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))		 Mid-level-ontology.kif 5156-5160
(=>
    (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 1748-1768
(=>
    (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 14117-14125
(=>
    (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 7067-7084
(=>
    (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 11311-11323
(=>
    (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 14091-14104
(=>
    (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 14138-14146
(=>
    (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 7567-7579
(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))		 Cars.kif 2150-2158
(=>
    (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 14050-14058
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))		 Merge.kif 11349-11353
(=>
    (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 7119-7136
(=>
    (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 14001-14016
(=>
    (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 13947-13956
(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))		 Transportation.kif 4154-4159
(=>
    (attribute ?OBJ Dry)
    (not
        (exists (?SUBOBJ)
            (and
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))		 Merge.kif 18167-18173
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
        (=>
            (part ?PART ?OBJ)
            (exists (?SUBPART)
                (and
                    (part ?SUBPART ?PART)
                    (attribute ?SUBPART Liquid))))))		 Merge.kif 18185-18193
(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 2361-2368
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 5959-5964
(=>
    (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 11847-11859
(=>
    (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 5034-5049
(=>
    (instance ?D Diluting)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Solution)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 21206-21212

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