Boiling
|
|
appearance as argument number 1 |
(documentation Boiling ChineseLanguage "这是当 Substance 受热时而从 Liquid 转成 Gas Process 的 Class。") | chinese_format.kif 1424-1425 | |
(documentation Boiling EnglishLanguage "The Class of Processes where a Substance is heated and converted from a Liquid to a Gas.") | Merge.kif 13923-13924 | |
(externalImage Boiling "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Kochendes_wasser02.jpg") | pictureList.kif 1670-1670 | |
(subclass Boiling StateChange) | Merge.kif 13922-13922 | 子類 Boiling and StateChange |
appearance as argument number 2 |
(termFormat ChineseLanguage Boiling "沸腾") | chinese_format.kif 1228-1228 | |
(termFormat EnglishLanguage Boiling "boiling") | english_format.kif 1677-1677 | |
(termFormat FrenchLanguage Boiling "�vaporer") | french_format.kif 906-906 | |
(termFormat Hindi Boiling "ubalana") | terms-hindi.txt 439-439 | |
(termFormat ItalianLanguage Boiling "Bollire") | terms-it.txt 442-442 | |
(termFormat JapaneseLanguage Boiling "沸騰") | japanese_format.kif 2590-2590 | |
(termFormat PortugueseLanguage Boiling "Ferver") | portuguese_format.kif 858-858 | |
(termFormat cb Boiling "pagbukal") | terms-cb.txt 444-444 | |
(termFormat cz Boiling "var") | terms-cz.txt 478-478 | |
(termFormat ro Boiling "fierbere") | relations-ro.kif 927-927 | |
(termFormat tg Boiling "kumukulo") | terms-tg.txt 443-443 |
antecedent |
(=> (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 13933-13941 | |
(=> (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 13831-13839 |
|
(=> (instance ?BOIL Boiling) (exists (?HEAT) (and (instance ?HEAT Heating) (subProcess ?HEAT ?BOIL)))) |
Merge.kif 13926-13931 |
consequent |