No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4596-4596 |
不相交的 PlantWicker and SyntheticWicker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31404-31404 |
roomTempState PlantWicker and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4599-4599 |
子類 PlantWicker and 植物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4598-4598 |
子類 PlantWicker and Tissue |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4597-4597 |
子類 PlantWicker and 條編材料 |