Liquid(液体) |
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 17579-17580 | |
(instance Liquid PhysicalState) | Merge.kif 17577-17577 | 液体 是 物质状态 的 instance |
(subAttribute Liquid Fluid) | Merge.kif 17578-17578 | 液体 是 流体 的 subAttribute |
appearance as argument number 2 |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17564-17564 | 固体 是 液体 的相反 |
(roomTempState Absolut Liquid) | Mid-level-ontology.kif 31436-31436 | roomTempState Absolut and 液体 |
(roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31554-31554 | roomTempState 醇 and 液体 |
(roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31417-31417 | roomTempState 酒精饮料 and 液体 |
(roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31555-31555 | roomTempState Aldosterone and 液体 |
(roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31556-31556 | roomTempState 生物碱 and 液体 |
(roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31424-31424 | roomTempState Amaretto and 液体 |
(roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31558-31558 | roomTempState 氨基酸 and 液体 |
(roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31421-31421 | roomTempState Aperitif and 液体 |
(roomTempState Atropine Liquid) | Mid-level-ontology.kif 31561-31561 | roomTempState 阿托品 and 液体 |
(roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31432-31432 | roomTempState Bacardi and 液体 |
(roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31562-31562 | roomTempState 杆菌肽 and 液体 |
(roomTempState Baileys Liquid) | Mid-level-ontology.kif 31425-31425 | roomTempState Baileys and 液体 |
(roomTempState Beer Liquid) | Mid-level-ontology.kif 31441-31441 | roomTempState 啤酒 and 液体 |
(roomTempState Beverage Liquid) | Mid-level-ontology.kif 31413-31413 | roomTempState 饮料 and 液体 |
(roomTempState BloodAgent Liquid) | Mid-level-ontology.kif 31549-31549 | roomTempState 血液剂 and 液体 |
(roomTempState Boron Liquid) | Mid-level-ontology.kif 31450-31450 | roomTempState 硼 and 液体 |
(roomTempState Brandy Liquid) | Mid-level-ontology.kif 31440-31440 | roomTempState 白兰地 and 液体 |
(roomTempState Bromine Liquid) | Mid-level-ontology.kif 31481-31481 | roomTempState 溴 and 液体 |
(roomTempState Buttermilk Liquid) | Food.kif 3170-3170 | roomTempState Buttermilk and 液体 |
(roomTempState Campari Liquid) | Mid-level-ontology.kif 31422-31422 | roomTempState Campari and 液体 |
(roomTempState Chambord Liquid) | Mid-level-ontology.kif 31426-31426 | roomTempState Chambord and 液体 |
(roomTempState Champagne Liquid) | Mid-level-ontology.kif 31419-31419 | roomTempState Champagne and 液体 |
(roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 31571-31571 | roomTempState 化学酸 and 液体 |
(roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 31572-31572 | roomTempState 化学基地 and 液体 |
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 17565-17565 | 固体 是所有的 物质状态 的 attributes |
antecedent |
consequent |
(=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10298-10302 | |
(=> (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 13955-13963 | |
(=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 4692-4696 | |
(=> (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 14001-14009 | |
(=> (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 9963-9975 | |
(=> (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 13975-13988 |
|
(=> (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 14022-14030 | |
(=> (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 2172-2180 | |
(=> (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 13934-13942 | |
(=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11248-11252 | |
(=> (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 13885-13900 |
|
(=> (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 13831-13840 | |
(=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18017-18023 | |
(=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18035-18043 | |
(=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1899-1906 | |
(=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5002-5007 |
|
(=> (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 10497-10509 | |
(=> (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 4570-4585 |
|
(=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 19617-19623 | |
(=> (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 10009-10022 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |