TreeView Knowledge Base Browser

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 17442-17443
(instance Liquid PhysicalState)	Merge.kif 17440-17440	Liquid is an instance of physical state
(subAttribute Liquid Fluid)	Merge.kif 17441-17441	Liquid is a subattribute of fluid

appearance as argument number 2

(contraryAttribute Solid Liquid Gas Plasma)	Merge.kif 17427-17427	Solid is the opposite of liquid
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 31545-31545	roomTempState Absolut and liquid
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 31665-31665	roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 31526-31526	roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 31666-31666	roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 31667-31667	roomTempState alkaloid and liquid
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 31533-31533	roomTempState amaretto and liquid
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 31669-31669	roomTempState amino acid and liquid
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 31530-31530	roomTempState aperitif and liquid
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 31672-31672	roomTempState atropine and liquid
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 31541-31541	roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 31673-31673	roomTempState bacitracin and liquid
(roomTempState Baileys Liquid)	Mid-level-ontology.kif 31534-31534	roomTempState Baileys and liquid
(roomTempState Beer Liquid)	Mid-level-ontology.kif 31550-31550	roomTempState beer and liquid
(roomTempState Beverage Liquid)	Mid-level-ontology.kif 31522-31522	roomTempState beverage and liquid
(roomTempState BloodAgent Liquid)	Mid-level-ontology.kif 31660-31660	roomTempState blood agent and liquid
(roomTempState Boron Liquid)	Mid-level-ontology.kif 31561-31561	roomTempState boron and liquid
(roomTempState Brandy Liquid)	Mid-level-ontology.kif 31549-31549	roomTempState brandy and liquid
(roomTempState Bromine Liquid)	Mid-level-ontology.kif 31592-31592	roomTempState bromine and liquid
(roomTempState Campari Liquid)	Mid-level-ontology.kif 31531-31531	roomTempState Campari and liquid
(roomTempState Chambord Liquid)	Mid-level-ontology.kif 31535-31535	roomTempState Chambord and liquid
(roomTempState Champagne Liquid)	Mid-level-ontology.kif 31528-31528	roomTempState champagne and liquid
(roomTempState ChemicalAcid Liquid)	Mid-level-ontology.kif 31682-31682	roomTempState chemical acid and liquid
(roomTempState ChemicalBase Liquid)	Mid-level-ontology.kif 31683-31683	roomTempState chemical base and liquid
(roomTempState Chlorine Liquid)	Mid-level-ontology.kif 31574-31574	roomTempState chlorine 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 17428-17428

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	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
(=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid))	Merge.kif 17479-17486	If an object is an instance of substance and gas is an attribute of the object or liquid is an attribute of the object or plasma is an attribute of the object, then fluid is an attribute of the object
(=> (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 31785-31796	If roomTempState a kind of substance and a physical state and a physical is an instance of a kind of substance and roomTempState the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s), then the measure of the physical is 68 fahrenheit degree(s) holds during the time position
(=> (attribute ?L Liquid) (capability Boiling patient ?L))	Merge.kif 13834-13836	If liquid is an attribute of an object, then the object is capable of doing boiling as a patient

consequent

(=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid))	Merge.kif 10260-10264	If a process is an instance of drinking and an object is a resource for the process, then liquid is an attribute of the object
(=> (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 13824-13832	If a process is an instance of boiling and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid))	Mid-level-ontology.kif 4659-4663	If a self connected object is an instance of bottle and the self connected object contains an object, then liquid is an attribute of the object
(=> (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	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
(=> (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 13870-13878	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=> (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 9916-9928	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
(=> (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 13844-13857	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=> (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 13891-13899	If a process is an instance of freezing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L))))	Cars.kif 2166-2174	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other object
(=> (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 13803-13811	If a process is an instance of melting and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid))	Merge.kif 11192-11196	If a process is an instance of liquid motion and an object is a patient of the process, then liquid is an attribute of the object
(=> (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 13754-13769	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of unit of temperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
(=> (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 13700-13709	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the object
(=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid)))))	Merge.kif 17880-17886	If dry is an attribute of an object, then there doesn't exist another object such that the other object is a part of the object and liquid is an attribute of the other object
(=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid))))))	Merge.kif 17898-17906	If wet is an attribute of an object, then for all another object if the other object is a part of the object, then there exists a third object such that the third object is a part of the other object and liquid is an attribute of the third object
(=> (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	If a process is an instance of aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of air and the object is a patient of the process and liquid is an attribute of the object
(=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid))))	Mid-level-ontology.kif 4970-4975	If a self connected object is an instance of bubble, then there exists another self connected object such that the other self connected object is a surface of the self connected object and liquid is an attribute of the other self connected object
(=> (instance ?BEV Beverage) (attribute ?BEV Liquid))	Mid-level-ontology.kif 21423-21425	If an object is an instance of beverage, then liquid is an attribute of the object
(=> (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 10390-10402	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
(=> (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 4537-4552	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid))))	Mid-level-ontology.kif 19451-19457	If a process is an instance of diluting, then there exists an object such that the object is a patient of the process and the object is an instance of solution and liquid is an attribute of the object
(=> (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 9962-9975	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
(=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid))))))	Cars.kif 2502-2510	If a physical is an instance of electrolyte, then the physical has the purpose there exists the physicalT such that the physicalT is an instance of electric transmission and the physical is a patient of the physicalT and liquid is an attribute of the physical holds during the physicalT
(=> (instance ?H HydraulicFluid) (hasPurpose ?H (exists (?P) (and (instance ?P Process) (instrument ?P ?H) (holdsDuring (WhenFn ?P) (attribute ?H Liquid))))))	Cars.kif 1587-1596	If a physical is an instance of hydraulic fluid, then the physical has the purpose there exists an entity such that the entity is an instance of process and the physical is an instrument for the entity and liquid is an attribute of the physical holds during the time of existence of the entity
(=> (instance ?H Hydrometer) (hasPurpose ?H (exists (?M ?S) (and (instance ?M Measuring) (instance ?S Substance) (attribute ?S Liquid) (patient ?M ?S) (instrument ?M ?H)))))	Cars.kif 3051-3060	If a physical is an instance of hydrometer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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

KB Term:			Term intersection

English Word: