| TwoDimensionalAngle(two dimensional angle)
| | angle, complementary_angles, corner, dogleg |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3978-3979 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17544-17545 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2418-2418 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2048-2048 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4593-4593 | Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17543-17543 | Two dimensional angle is a subclass of open two dimensional figure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4590-4590 | Acute angle is a subclass of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4571-4571 | Oblique angle is a subclass of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4582-4582 | Right angle is a subclass of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59663-59663 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59662-59662 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59661-59661 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17572-17572 | The number 1 argument of angle of figure is an instance of two dimensional angle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17605-17605 | The number 1 argument of angular measure is an instance of two dimensional angle |
|
|
|