| 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 21573-21573 | 乳胶 是 液体混合物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21610-21610 | 乳胶 是 乳胶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3097-3097 | 黄油 是 乳胶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3152-3152 | FermentedMilkProduct 是 乳胶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3173-3173 | Yogurt 是 乳胶 的 subclass |
|
|