No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9207-9207 | 子類 橡膠 and 植物物質 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9208-9208 | 子類 橡膠 and BodySubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9209-9209 | 子類 橡膠 and 烴 |