| Colloid | |
| appearance as argument number 1 |
|
|
| (documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Mid-level-ontology.kif 23170-23172 | |
| (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 23166-23169 | |
| (roomTempState Colloid Liquid) | Mid-level-ontology.kif 33533-33533 | |
| (subclass Colloid Mixture) | Mid-level-ontology.kif 23174-23174 |
| 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 23189-23189 | |
| (subclass Gel Colloid) | Mid-level-ontology.kif 23231-23231 | |
| (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 23243-23243 | |
| (subclass Vinegar Colloid) | Food.kif 3572-3572 | |
| (subclass Whey Colloid) | Food.kif 3152-3152 | |
| (termFormat ChineseLanguage Colloid "胶体") | domainEnglishFormat.kif 15641-15641 | |
| (termFormat ChineseTraditionalLanguage Colloid "膠體") | domainEnglishFormat.kif 15640-15640 | |
| (termFormat EnglishLanguage Colloid "colloid") | domainEnglishFormat.kif 15639-15639 |
| 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 23233-23239 | |
| (=> (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 23176-23185 |
| 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 |
|
|
|