No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4596-4596 |
PlantWicker e' disjunto de SyntheticWicker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31400-31400 |
roomTempState PlantWicker and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4599-4599 |
PlantWicker e' uma sub-classe de PlantSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4598-4598 |
PlantWicker e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4597-4597 |
PlantWicker e' uma sub-classe de Wicker |