| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17805-17805 | Two dimensional angle is a subclass of open two dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4844-4844 | Oblique angle is a subclass of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4855-4855 | Right angle is a subclass of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4863-4863 | Acute angle is a subclass of two dimensional angle |
|
|