Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Boiling(boiling)
|  | aerify, boil, boil_over, boiling, decoct, decoction_mashing, decoction_process, gasification, gasify, overboil, scathing, sublimate, sublime, vaporise, vaporize, vituperative |
| appearance as argument number 1 |
|
|
| (subclass Boiling StateChange) | Merge.kif 14231-14231 | Boiling is a subclass of state change |
| (documentation Boiling EnglishLanguage "The Class of Processes where a Substance is heated and converted from a Liquid to a Gas.") | Merge.kif 14232-14233 | Boiling is a subclass of state change |
| (externalImage Boiling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Kochendes_wasser02.jpg") | pictureList.kif 1669-1669 | Boiling is a subclass of state change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Boiling "boiling") | english_format.kif 1681-1681 |
| antecedent |
|
|
| (=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) |
Merge.kif 14140-14148 | If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y |
| (=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL)))) |
Merge.kif 14235-14240 | If X is an instance of boiling, then there exists Y such that Y is an instance of heating and Y is a subprocess of X |
| (=> (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 14242-14250 | If X is an instance of boiling and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and gas is an attribute of Z holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE))))) |
Merge.kif 14150-14163 | If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T |
| (=> (attribute ?L Liquid) (capability Boiling patient ?L)) |
Merge.kif 14252-14254 | If liquid is an attribute of X, then X is capable of doing boiling as a patient |
| (=> (instance ?STEAM Steam) (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER Water) (patient ?BOIL ?WATER) (result ?BOIL ?STEAM) (attribute ?STEAM Gas)))) |
Mid-level-ontology.kif 28218-28226 | If X is an instance of steam, then there exist Y, Z such that Y is an instance of boiling, Z is an instance of water, Z is a patient of Y, X is a result of Y, and gas is an attribute of X |
| (=> (instance ?J Jam) (exists (?B ?F ?S) (and (instance ?B Boiling) (patient ?B ?F) (instance ?F Fruit) (patient ?B ?S) (instance ?S Sugar) (result ?B ?J)))) |
Food.kif 1773-1782 | If X is an instance of jam, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of boiling (3) Z is a patient of Y (4) Z is an instance of fruit (5) W is a patient of Y (6) W is an instance of sugar (7) X is a result of Y |
| (=> (instance ?DEVICE Kettle) (hasPurpose ?DEVICE (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER DrinkingWater) (patient ?BOIL ?WATER))))) |
HouseholdAppliances.kif 910-917 | If X is an instance of kettle, then X has the purpose there exist Y, Z such that Y is an instance of boiling, Z is an instance of potable water, and Z is a patient of Y |
|