| Colloid | |
| appearance as argument number 1 |
|
|
| (documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Mid-level-ontology.kif 23187-23189 | |
| (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 23183-23186 | |
| (roomTempState Colloid Liquid) | Mid-level-ontology.kif 33290-33290 | |
| (subclass Colloid Mixture) | Mid-level-ontology.kif 23191-23191 |
| appearance as argument number 2 |
|
|
| (subclass Aerosal Colloid) | Geography.kif 7613-7613 | |
| (subclass Beverage Colloid) | Food.kif 390-390 | |
| (subclass Buttermilk Colloid) | Food.kif 3174-3174 | |
| (subclass Emulsion Colloid) | Mid-level-ontology.kif 23206-23206 | |
| (subclass Gel Colloid) | Mid-level-ontology.kif 23248-23248 | |
| (subclass Jam Colloid) | Food.kif 1755-1755 | |
| (subclass Juice Colloid) | Food.kif 2602-2602 | |
| (subclass Sauce Colloid) | Food.kif 2068-2068 | |
| (subclass Soda Colloid) | Food.kif 3439-3439 | |
| (subclass SolMixture Colloid) | Mid-level-ontology.kif 23260-23260 | |
| (subclass Vinegar Colloid) | Food.kif 3572-3572 | |
| (subclass Whey Colloid) | Food.kif 3152-3152 | |
| (termFormat ChineseLanguage Colloid "胶体") | domainEnglishFormat.kif 15647-15647 | |
| (termFormat ChineseTraditionalLanguage Colloid "膠體") | domainEnglishFormat.kif 15646-15646 | |
| (termFormat EnglishLanguage Colloid "colloid") | domainEnglishFormat.kif 15645-15645 |
| 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 7615-7624 | |
| (=> (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 3206-3218 | |
| (=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel)) |
Mid-level-ontology.kif 23250-23256 | |
| (=> (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 23193-23202 |
| 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 3193-3204 |
|
|
|