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 17527-17528
(instance Liquid PhysicalState) Merge.kif 17525-17525 Liquid is an instance of physical state
(subAttribute Liquid Fluid) Merge.kif 17526-17526 Liquid is a subattribute of fluid

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


(contraryAttribute Solid Liquid Gas Plasma) Merge.kif 17512-17512 Solid is the opposite of liquid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31357-31357 roomTempState Absolut and liquid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31475-31475 roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31338-31338 roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31476-31476 roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31477-31477 roomTempState alkaloid and liquid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31345-31345 roomTempState amaretto and liquid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31479-31479 roomTempState amino acid and liquid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31342-31342 roomTempState aperitif and liquid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31482-31482 roomTempState atropine and liquid
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31353-31353 roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31483-31483 roomTempState bacitracin and liquid
(roomTempState Baileys Liquid) Mid-level-ontology.kif 31346-31346 roomTempState Baileys and liquid
(roomTempState Beer Liquid) Mid-level-ontology.kif 31362-31362 roomTempState beer and liquid
(roomTempState Beverage Liquid) Mid-level-ontology.kif 31334-31334 roomTempState beverage and liquid
(roomTempState BloodAgent Liquid) Mid-level-ontology.kif 31470-31470 roomTempState blood agent and liquid
(roomTempState Boron Liquid) Mid-level-ontology.kif 31371-31371 roomTempState boron and liquid
(roomTempState Brandy Liquid) Mid-level-ontology.kif 31361-31361 roomTempState brandy and liquid
(roomTempState Bromine Liquid) Mid-level-ontology.kif 31402-31402 roomTempState bromine and liquid
(roomTempState Buttermilk Liquid) Food.kif 3170-3170 roomTempState buttermilk and liquid
(roomTempState Campari Liquid) Mid-level-ontology.kif 31343-31343 roomTempState Campari and liquid
(roomTempState Chambord Liquid) Mid-level-ontology.kif 31347-31347 roomTempState Chambord and liquid
(roomTempState Champagne Liquid) Mid-level-ontology.kif 31340-31340 roomTempState champagne and liquid
(roomTempState ChemicalAcid Liquid) Mid-level-ontology.kif 31492-31492 roomTempState chemical acid and liquid
(roomTempState ChemicalBase Liquid) Mid-level-ontology.kif 31493-31493 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 17513-17513 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 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