No TPTP formula. May not be expressible in strict first order. | Merge.kif 17809-17809 | 封闭的二维图 是 二维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4874-4874 | 多边形 是 封闭的二维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4973-4973 | 圈子部门 是 封闭的二维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7613-7613 | 椭圆 是 封闭的二维图 的 subclass |