(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) | Merge.kif 17805-17805 | |
(subclass ObliqueAngle TwoDimensionalAngle) | Mid-level-ontology.kif 4844-4844 | |
(subclass RightAngle TwoDimensionalAngle) | Mid-level-ontology.kif 4855-4855 | |
(subclass AcuteAngle TwoDimensionalAngle) | Mid-level-ontology.kif 4863-4863 |