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