No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4591-4591 |
不相交的 PlantWicker and SyntheticWicker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31436-31436 |
roomTempState PlantWicker and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4594-4594 |
子類 PlantWicker and 植物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4593-4593 |
子類 PlantWicker and Tissue |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4592-4592 |
子類 PlantWicker and 條編材料 |