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