|
|
   Colloid
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Colloid ChineseLanguage "Colloid 是一种 Mixture，它是由一种极为微小、 按照溫特瓦分級，颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Geography.kif 7089-7091 | |
| (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 7084-7087 | |
| (subclass Colloid Mixture) | Geography.kif 7097-7097 |
| appearance as argument number 2 |
|
|
| (subclass Aerosal Colloid) | Geography.kif 7259-7259 | |
| (termFormat ChineseLanguage Colloid "胶体") | Geography.kif 7095-7095 | |
| (termFormat EnglishLanguage Colloid "colloid") | Geography.kif 7093-7093 |
| 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 7261-7270 | |
| (=> (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)))) |
Geography.kif 7099-7108 |
|
|
|