No TPTP formula. May not be expressible in strict first order. | Merge.kif 17805-17805 | 二维角度 是 开放二维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4844-4844 | 斜角 是 二维角度 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4855-4855 | 直角 是 二维角度 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4863-4863 | 锐角 是 二维角度 的 subclass |