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 3205-3205 | 子類 水彩顏料 and 塗料 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3215-3215 | 子類 油漆 and 塗料 |