| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4595-4595 | Synthetic wicker is a subclass of wicker |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4596-4596 | Synthetic wicker is a subclass of plastic |
|
|