Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(instance Liquid PhysicalState) Merge.kif 17758-17758 Liquid is an instance of physical state
(subAttribute Liquid Fluid) Merge.kif 17759-17759 Liquid is a subattribute of fluid
(documentation Liquid EnglishLanguage "An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.") Merge.kif 17760-17761 Liquid is a subattribute of fluid

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


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17745-17745 Solid is the opposite of liquid
(roomTempState Gasoline Liquid) Mid-level-ontology.kif 34123-34123 room temperature state gasoline and liquid
(roomTempState DieselFuel Liquid) Mid-level-ontology.kif 34124-34124 room temperature state diesel fuel and liquid
(roomTempState Surfactant Liquid) Mid-level-ontology.kif 34132-34132 room temperature state surfactant and liquid
(roomTempState Detergent Liquid) Mid-level-ontology.kif 34133-34133 room temperature state detergent and liquid
(roomTempState Beverage Liquid) Mid-level-ontology.kif 34143-34143 room temperature state beverage and liquid
(roomTempState Milk Liquid) Mid-level-ontology.kif 34144-34144 room temperature state milk and liquid
(roomTempState Cream Liquid) Mid-level-ontology.kif 34145-34145 room temperature state cream and liquid
(roomTempState Tea Liquid) Mid-level-ontology.kif 34146-34146 room temperature state tea and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 34147-34147 room temperature state alcoholic beverage and liquid
(roomTempState Wine Liquid) Mid-level-ontology.kif 34148-34148 room temperature state wine and liquid
(roomTempState Champagne Liquid) Mid-level-ontology.kif 34149-34149 room temperature state champagne and liquid
(roomTempState DistilledAlcoholicBeverage Liquid) Mid-level-ontology.kif 34150-34150 room temperature state distilled alcoholic beverage and liquid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 34151-34151 room temperature state aperitif and liquid
(roomTempState Campari Liquid) Mid-level-ontology.kif 34152-34152 room temperature state Campari and liquid
(roomTempState Liqueur Liquid) Mid-level-ontology.kif 34153-34153 room temperature state liqueur and liquid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 34154-34154 room temperature state amaretto and liquid
(roomTempState Baileys Liquid) Mid-level-ontology.kif 34155-34155 room temperature state Baileys and liquid
(roomTempState Chambord Liquid) Mid-level-ontology.kif 34156-34156 room temperature state Chambord and liquid
(roomTempState Cointreau Liquid) Mid-level-ontology.kif 34157-34157 room temperature state Cointreau and liquid
(roomTempState Kahlua Liquid) Mid-level-ontology.kif 34158-34158 room temperature state Kahlua and liquid
(roomTempState GrandMarnier Liquid) Mid-level-ontology.kif 34159-34159 room temperature state Grand Marnier and liquid
(roomTempState Schnapps Liquid) Mid-level-ontology.kif 34160-34160 room temperature state schnapps and liquid
(roomTempState Rum Liquid) Mid-level-ontology.kif 34161-34161 room temperature state rum 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 17746-17746 Solid are all the attributes of physical state

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


(=>
    (attribute ?L Liquid)
    (capability Boiling patient ?L))		 Merge.kif 14118-14120 If liquid is an attribute of X, then X is capable of doing boiling as a patient
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17797-17804 If X is an instance of substance and At least one of the following holds: (1) gas is an attribute of X (2) liquid is an attribute of X (3) plasma is an attribute of X, then fluid is an attribute of X
(=>
    (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 34405-34416 If room temperature state X and Y, Z is an instance of X, room temperature state X and liquid holds during W, and the measure of Z is 101 1 thousand pascals(s), then the measure of Z is 68 fahrenheit degree(s) holds during W
(=>
    (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 If X is an instance of cavitating, Y is an instance of pump, device on is an attribute of Y, liquid is an attribute of Z, and Y contains Z, then there exist W, V such that W is a part of Y, W has the purpose liquid is an attribute of V, V meets W, there doesn't exist U such that liquid is an attribute of U, and W meets U holds during the time of existence of X
(=>
    (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 9200-9209 If X is an instance of colloid, Y is a part of X, solid is an attribute of Y or liquid is an attribute of Y, Z is an instance of air, and Z is a part of X, then X is an instance of aerosal

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


(=>
    (and
        (instance ?ACT Drinking)
        (resource ?ACT ?FOOD))
    (attribute ?FOOD Liquid))		 Merge.kif 10436-10440 If X is an instance of drinking and Y is a resource for X, then liquid is an attribute of Y
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))		 Merge.kif 11384-11388 If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))		 Merge.kif 11608-11616 If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal
(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (attribute ?OBJ Liquid)
            (patient ?WET ?OBJ))))		 Merge.kif 12942-12947 If X is an instance of wetting, then there exists Y such that liquid is an attribute of Y and Y is a patient of X
(=>
    (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 13984-13993 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X
(=>
    (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 14038-14053 If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S
(=>
    (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 14087-14095 If X is an instance of melting and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X
(=>
    (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 14108-14116 If X is an instance of boiling and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and gas is an attribute of Z holds during the end of the time of existence of X
(=>
    (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 14128-14141 If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X
(=>
    (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 14154-14162 If X is an instance of condensing and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X
(=>
    (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 14175-14183 If X is an instance of freezing and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and solid is an attribute of Z holds during the end of the time of existence of X
(=>
    (instance ?MIX LiquidMixture)
    (exists (?PART)
        (and
            (part ?PART ?MIX)
            (attribute ?PART Liquid))))		 Merge.kif 14891-14896 If X is an instance of liquid mixture, then there exists Y such that Y is a part of X and liquid is an attribute of Y
(=>
    (instance ?OBJ Solution)
    (attribute ?OBJ Liquid))		 Merge.kif 17763-17765 If X is an instance of solution, then liquid is an attribute of X
(=>
    (attribute ?OBJ Dry)
    (not
        (exists (?SUBOBJ)
            (and
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))		 Merge.kif 18201-18207 If dry is an attribute of X, then there doesn't exist Y such that Y is a part of X and liquid is an attribute of Y
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
        (=>
            (part ?PART ?OBJ)
            (exists (?SUBPART)
                (and
                    (part ?SUBPART ?PART)
                    (attribute ?SUBPART Liquid))))))		 Merge.kif 18219-18227 If wet is an attribute of X, then For all Object Y: if Y is a part of X, then there exists Z such that Z is a part of Y and liquid is an attribute of Z
(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 2380-2387 If X is an instance of aerating, then there exist Y, Z such that Y is a patient of X, Y is an instance of air, Z is a patient of X, and liquid is an attribute of Z
(=>
    (instance ?X Urine)
    (attribute ?X Liquid))		 Mid-level-ontology.kif 2580-2582 If X is an instance of urine, then liquid is an attribute of X
(=>
    (instance ?S Strainer)
    (hasPurpose ?S
        (exists (?MIX ?SUB ?LIQUID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (instance ?LIQUID Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Solid)
                (instance ?REMOVE Removing)
                (part ?LIQUID ?MIX)
                (attribute ?LIQUID Liquid)
                (patient ?REMOVE ?SUB)
                (result ?REMOVE ?LIQUID)
                (instrument ?REMOVE ?S)))))		 Mid-level-ontology.kif 5011-5026 If X is an instance of strainer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V
(=>
    (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 5032-5047 If X is an instance of colander, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (11) W is a result of V (12) X is an instrument for V
(=>
    (instance ?BOTTLE Bottle)
    (hasPurpose ?BOTTLE
        (exists (?STUFF)
            (and
                (contains ?BOTTLE ?STUFF)
                (attribute ?STUFF Liquid)))))		 Mid-level-ontology.kif 5156-5162 If X is an instance of bottle, then X has the purpose there exists Y such that X contains Y and liquid is an attribute of Y
(=>
    (instance ?B Bubble)
    (exists (?S)
        (and
            (surface ?S ?B)
            (attribute ?S Liquid))))		 Mid-level-ontology.kif 5958-5963 If X is an instance of bubble, then there exists Y such that Y is a surface of X and liquid is an attribute of Y
(=>
    (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 11333-11345 If X is an instance of swelling and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) V is an instance of liquid (4) W is an instance of body part (5) W is a part of Y (6) Z ends up at W (7) V moves during Z (8) Z is a subprocess of X
(=>
    (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 11379-11392 If X is an instance of diuretic, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of human (3) Y is an instance of removing (4) Z is an instance of liquid (5) W experiences Y (6) Z moves during Y (7) Z originates at W (8) W doesn't contain V (9) Y ends up at V
(=>
    (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 11869-11881 If X is an instance of coagulation, then there exists Y such that Y is an instance of blood, liquid is an attribute of Y holds during immediately before the time of existence of X, and solid is an attribute of Y holds during immediately after the time of existence of X
(=>
    (instance ?SUBSTANCE LiquidBodySubstance)
    (attribute ?SUBSTANCE Liquid))		 Mid-level-ontology.kif 12224-12226 If X is an instance of liquid body substance, then liquid is an attribute of X

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