| Colloid | |
| appearance as argument number 1 |
|
|
| (documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Geography.kif 6931-6933 | |
| (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.") | Geography.kif 6926-6929 | |
| (subclass Colloid Mixture) | Geography.kif 6939-6939 |
| appearance as argument number 2 |
|
|
| (subclass Aerosal Colloid) | Geography.kif 7101-7101 | |
| (termFormat ChineseLanguage Colloid "胶体") | Geography.kif 6937-6937 | |
| (termFormat EnglishLanguage Colloid "colloid") | Geography.kif 6935-6935 |
| 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 7103-7112 | |
| (=> (instance ?Z Colloid) (exists (?P ?S) (and (part ?P ?Z) (attribute ?P Insoluble) (approximateDiameter ?P (MeasureFn ?S Nanometer)) (greaterThan 977 ?S) (greaterThan ?S 0.95)))) |
Geography.kif 6941-6950 |
|
|
|