| 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 17725-17726 | |
| (instance Liquid PhysicalState) | Merge.kif 17723-17723 | |
| (subAttribute Liquid Fluid) | Merge.kif 17724-17724 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17710-17710 | |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 33144-33144 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 33262-33262 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 33125-33125 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 33263-33263 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 33264-33264 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 33132-33132 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 33266-33266 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 33129-33129 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 33269-33269 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 33140-33140 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 33270-33270 | |
| (roomTempState Baileys Liquid) | Mid-level-ontology.kif 33133-33133 | |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 33149-33149 | |
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 33121-33121 | |
| (roomTempState BloodAgent Liquid) | Mid-level-ontology.kif 33257-33257 | |
| (roomTempState Boron Liquid) | Mid-level-ontology.kif 33158-33158 | |
| (roomTempState Brandy Liquid) | Mid-level-ontology.kif 33148-33148 | |
| (roomTempState Bromine Liquid) | Mid-level-ontology.kif 33189-33189 | |
| (roomTempState Buttermilk Liquid) | Food.kif 3177-3177 | |
| (roomTempState Campari Liquid) | Mid-level-ontology.kif 33130-33130 | |
| (roomTempState Chambord Liquid) | Mid-level-ontology.kif 33134-33134 | |
| (roomTempState Champagne Liquid) | Mid-level-ontology.kif 33127-33127 | |
| (roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 33279-33279 | |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 33280-33280 | |
| 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 17711-17711 |
| 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 7615-7624 | |
| (=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17762-17769 | |
| (=> (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 33383-33394 | |
| (=> (attribute ?L Liquid) (capability Boiling patient ?L)) |
Merge.kif 14081-14083 |
| consequent |
|
|
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10401-10405 | |
| (=> (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 14071-14079 | |
| (=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 5156-5160 | |
| (=> (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 14117-14125 | |
| (=> (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 7067-7084 | |
| (=> (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 11311-11323 | |
| (=> (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 14091-14104 | |
| (=> (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 14138-14146 | |
| (=> (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 7567-7579 | |
| (=> (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 14050-14058 | |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11349-11353 | |
| (=> (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 7119-7136 | |
| (=> (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 14001-14016 | |
| (=> (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 13947-13956 | |
| (=> (attribute ?G FlammableLiquid) (and (instance ?G Substance) (attribute ?G Liquid) (attribute ?G Flammable))) |
Transportation.kif 4154-4159 | |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18167-18173 | |
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18185-18193 | |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 2361-2368 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 5959-5964 | |
| (=> (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 11847-11859 | |
| (=> (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 5034-5049 | |
| (=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 21206-21212 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|