Colloid
|
|
appearance as argument number 1 |
(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture,它是由一种极为微小、 按照溫特瓦分級,颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Mid-level-ontology.kif 21553-21555 | |
(documentation Colloid EnglishLanguage "A Colloid is a Mixture in which microscopically dispersed Insoluble particles, between 0.95 and 977 Nanometers in approximateDiameter on the Wentworth Scale are suspended throughout another Substance.") | Mid-level-ontology.kif 21549-21552 | |
(roomTempState Colloid Liquid) | Mid-level-ontology.kif 31586-31586 | roomTempState Colloid and Liquid |
(subclass Colloid Mixture) | Mid-level-ontology.kif 21557-21557 | Colloid は 混合物 の subclass では %n |
appearance as argument number 2 |
(subclass Aerosal Colloid) | Geography.kif 7543-7543 | Aerosal は Colloid の subclass では %n |
(subclass Beverage Colloid) | Food.kif 390-390 | 飲料 は Colloid の subclass では %n |
(subclass Buttermilk Colloid) | Food.kif 3167-3167 | Buttermilk は Colloid の subclass では %n |
(subclass Emulsion Colloid) | Mid-level-ontology.kif 21572-21572 | Emulsion は Colloid の subclass では %n |
(subclass Gel Colloid) | Mid-level-ontology.kif 21614-21614 | Gel は Colloid の subclass では %n |
(subclass Jam Colloid) | Food.kif 1749-1749 | Jam は Colloid の subclass では %n |
(subclass Juice Colloid) | Food.kif 2595-2595 | Juice は Colloid の subclass では %n |
(subclass Sauce Colloid) | Food.kif 2062-2062 | Sauce は Colloid の subclass では %n |
(subclass Soda Colloid) | Food.kif 3432-3432 | Soda は Colloid の subclass では %n |
(subclass SolMixture Colloid) | Mid-level-ontology.kif 21626-21626 | SolMixture は Colloid の subclass では %n |
(subclass Vinegar Colloid) | Food.kif 3565-3565 | Vinegar は Colloid の subclass では %n |
(subclass Whey Colloid) | Food.kif 3145-3145 | Whey は Colloid の subclass では %n |
(termFormat ChineseLanguage Colloid "胶体") | domainEnglishFormat.kif 15632-15632 | |
(termFormat ChineseTraditionalLanguage Colloid "膠體") | domainEnglishFormat.kif 15631-15631 | |
(termFormat EnglishLanguage Colloid "colloid") | domainEnglishFormat.kif 15630-15630 |
antecedent |
(=> (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 ?C Curdling) (patient ?C ?X) (instance ?X Colloid)) (exists (?S ?A) (and (instance ?S Separating) (subProcess ?S ?C) (patient ?S ?X) (result ?S ?A) (piece ?A ?X) (instance ?A Substance)))) |
Food.kif 3199-3211 | |
(=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel)) |
Mid-level-ontology.kif 21616-21622 | |
(=> (instance ?Z Colloid) (exists (?P ?S) (and (part ?P ?Z) (attribute ?P Insoluble) (approximateDiameter ?P (MeasureFn ?S Nanometer)) (greaterThan 977.0 ?S) (greaterThan ?S 0.95)))) |
Mid-level-ontology.kif 21559-21568 |
|
consequent |
(=> (instance ?C Curdling) (exists (?X) (and (patient ?C ?X) (holdsDuring (BeginFn (WhenFn ?C)) (instance ?X Colloid)) (holdsDuring (EndFn (WhenFn ?C)) (not (instance ?X Colloid)))))) |
Food.kif 3186-3197 |