appearance as argument number 1 |
(documentation Colloid ChineseLanguage "Colloid 是一种 Mixture,它是由一种极为微小、 按照溫特瓦分級,颗粒 approximateDiameter 介于 0.95 and 977 nanometer 的Insoluble substance 均匀悬浮在另外一种 substance 中。") | Mid-level-ontology.kif 21580-21582 | |
(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 21576-21579 | |
(roomTempState Colloid Liquid) | Mid-level-ontology.kif 31618-31618 | roomTempState colloid and liquid |
(subclass Colloid Mixture) | Mid-level-ontology.kif 21584-21584 | Colloid is a subclass of mixture |
appearance as argument number 2 |
antecedent |
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 |
|