No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21626-21626 | 子類 溶膠 and 膠體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21627-21627 | 子類 溶膠 and 液體混合物 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3198-3198 | 子類 塗料 and 溶膠 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21628-21628 | 子類 Blood and 溶膠 |