SyntheticWicker |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31437-31437 | roomTempState SyntheticWicker and Solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4596-4596 | SyntheticWicker e' uma sub-classe de Plastic |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4595-4595 | SyntheticWicker e' uma sub-classe de Wicker |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4591-4591 | PlantWicker e' disjunto de SyntheticWicker |
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 | O conceito Wicker e' completamente decomposto em PlantWicker + SyntheticWicker |