|
|
   SyntheticWicker
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31437-31437 | roomTempState synthetic wicker and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4596-4596 | Synthetic wicker is a subclass of plastic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4595-4595 | Synthetic wicker is a subclass of wicker |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4591-4591 | Plant wicker is disjoint from synthetic wicker |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65574-65574 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4585-4585 | Wicker is exhaustively partitioned into plant wicker and synthetic wicker |
|
|
|