No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21613-21613 | 凝胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3139-3139 | Curd 是 凝胶 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3259-3259 | 起司 是 凝胶 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6237-6237 | AloveraGel 是 凝胶 的 subclass |
![]() |