| 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 17636-17637 | |
| (instance Liquid PhysicalState) | Merge.kif 17634-17634 | |
| (subAttribute Liquid Fluid) | Merge.kif 17635-17635 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17621-17621 | |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 31705-31705 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31823-31823 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31686-31686 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31824-31824 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31825-31825 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31693-31693 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31827-31827 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31690-31690 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 31830-31830 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31701-31701 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31831-31831 | |
| (roomTempState Baileys Liquid) | Mid-level-ontology.kif 31694-31694 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 31710-31710 | |
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 31682-31682 | |
| (roomTempState BloodAgent Liquid) | Mid-level-ontology.kif 31818-31818 | |
| (roomTempState Boron Liquid) | Mid-level-ontology.kif 31719-31719 | |
| (roomTempState Brandy Liquid) | Mid-level-ontology.kif 31709-31709 | |
| (roomTempState Bromine Liquid) | Mid-level-ontology.kif 31750-31750 | |
| (roomTempState Buttermilk Liquid) | Food.kif 3170-3170 | |
| (roomTempState Campari Liquid) | Mid-level-ontology.kif 31691-31691 | |
| (roomTempState Chambord Liquid) | Mid-level-ontology.kif 31695-31695 | |
| (roomTempState Champagne Liquid) | Mid-level-ontology.kif 31688-31688 | |
| (roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 31840-31840 | |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 31841-31841 | |
| 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 17622-17622 |
| 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 1747-1767 | |
| (=> (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 7545-7554 | |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17673-17680 | |
| (=> (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 31943-31954 | |
| (=> (attribute ?L Liquid) (capability Boiling patient ?L)) |
Merge.kif 13989-13991 |
| consequent |
|
|
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10312-10316 | |
| (=> (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 13979-13987 | |
| (=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 4687-4691 | |
| (=> (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 14025-14033 | |
| (=> (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 10182-10194 | |
| (=> (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 13999-14012 | |
| (=> (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 14046-14054 | |
| (=> (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 2149-2157 | |
| (=> (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 13958-13966 | |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11260-11264 | |
| (=> (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 13909-13924 | |
| (=> (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 13855-13864 | |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18074-18080 | |
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18092-18100 | |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1892-1899 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 4997-5002 | |
| (=> (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 10716-10728 | |
| (=> (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 4565-4580 | |
| (=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 19876-19882 | |
| (=> (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 10228-10241 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|