No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4591-4591 |
PlantWicker est disjoint de SyntheticWicker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31436-31436 |
roomTempState PlantWicker and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4594-4594 |
PlantWicker est une sous-classe de PlantSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4593-4593 |
PlantWicker est une sous-classe de tissu |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4592-4592 |
PlantWicker est une sous-classe de Wicker |