| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21557-21557 | 胶体 是 混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21572-21572 | 乳胶 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21614-21614 | 凝胶 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21626-21626 | 溶胶 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7543-7543 | 气溶胶 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 390-390 | 饮料 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1749-1749 | Jam 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2062-2062 | Sauce 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2595-2595 | Juice 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3145-3145 | Whey 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3167-3167 | Buttermilk 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3432-3432 | Soda 是 胶体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3565-3565 | Vinegar 是 胶体 的 subclass |
|
|