| 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 17661-17662 | |
| (instance Liquid PhysicalState) | Merge.kif 17659-17659 | |
| (subAttribute Liquid Fluid) | Merge.kif 17660-17660 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17646-17646 | |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 32563-32563 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 32681-32681 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 32544-32544 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 32682-32682 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 32683-32683 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 32551-32551 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 32685-32685 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 32548-32548 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 32688-32688 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 32559-32559 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 32689-32689 | |
| (roomTempState Baileys Liquid) | Mid-level-ontology.kif 32552-32552 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 32568-32568 | |
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 32540-32540 | |
| (roomTempState BloodAgent Liquid) | Mid-level-ontology.kif 32676-32676 | |
| (roomTempState Boron Liquid) | Mid-level-ontology.kif 32577-32577 | |
| (roomTempState Brandy Liquid) | Mid-level-ontology.kif 32567-32567 | |
| (roomTempState Bromine Liquid) | Mid-level-ontology.kif 32608-32608 | |
| (roomTempState Buttermilk Liquid) | Food.kif 3170-3170 | |
| (roomTempState Campari Liquid) | Mid-level-ontology.kif 32549-32549 | |
| (roomTempState Chambord Liquid) | Mid-level-ontology.kif 32553-32553 | |
| (roomTempState Champagne Liquid) | Mid-level-ontology.kif 32546-32546 | |
| (roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 32698-32698 | |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 32699-32699 | |
| 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 17647-17647 |
| 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 1748-1768 | |
| (=> (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 7613-7622 | |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17698-17705 | |
| (=> (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 32801-32812 | |
| (=> (attribute ?L Liquid) (capability Boiling patient ?L)) |
Merge.kif 14017-14019 |
| consequent |
|
|
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10341-10345 | |
| (=> (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 14007-14015 | |
| (=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 4760-4764 | |
| (=> (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 | |
| (=> (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 14053-14061 | |
| (=> (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 7065-7082 | |
| (=> (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 10860-10872 | |
| (=> (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 14027-14040 | |
| (=> (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 14074-14082 | |
| (=> (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 7565-7577 | |
| (=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L)))) |
Cars.kif 2150-2158 | |
| (=> (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 13986-13994 | |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11289-11293 | |
| (=> (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 7117-7134 | |
| (=> (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 13937-13952 | |
| (=> (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 13883-13892 | |
| (=> (attribute ?G FlammableLiquid) (and (instance ?G Substance) (attribute ?G Liquid) (attribute ?G Flammable))) |
Transportation.kif 4150-4155 | |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18099-18105 | |
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18117-18125 | |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1965-1972 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5552-5557 | |
| (=> (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 11394-11406 | |
| (=> (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 4638-4653 | |
| (=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 20707-20713 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|