(=>
(and
(equal ?O ObliqueAngle)
(angularMeasure ?O
(MeasureFn ?N AngularDegree)))
(greaterThan ?N 90.0)) |
Mid-level-ontology.kif 5617-5622 |
If equal X and oblique angle and Y angular degree(s) is an angular measure of X, then Y is greater than 90.0 |
(=>
(and
(equal ?R RightAngle)
(angularMeasure ?R
(MeasureFn ?N AngularDegree)))
(equal ?N 90.0)) |
Mid-level-ontology.kif 5629-5634 |
If equal X and at a right angle to and Y angular degree(s) is an angular measure of X, then equal Y and 90.0 |
(=>
(and
(equal ?A AcuteAngle)
(angularMeasure ?A
(MeasureFn ?N AngularDegree)))
(lessThan ?N 90.0)) |
Mid-level-ontology.kif 5640-5645 |
If equal X and acute angle and Y angular degree(s) is an angular measure of X, then Y is less than 90.0 |
(=>
(and
(equal ?MIN MinorArc)
(sideOfFigure ?MIN ?S)
(equal ?S CircleSector)
(angleOfFigure ?A ?S)
(angularMeasure ?A
(MeasureFn ?X AngularDegree)))
(and
(greaterThan ?X 0)
(lessThan ?X 180))) |
Mid-level-ontology.kif 5939-5948 |
If equal X and minor arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 0 and W is less than 180 |
(=>
(and
(equal ?MAJ MajorArc)
(sideOfFigure ?MAJ ?S)
(equal ?S CircleSector)
(angleOfFigure ?A ?S)
(angularMeasure ?A
(MeasureFn ?X AngularDegree)))
(and
(greaterThan ?X 180)
(lessThan ?X 360))) |
Mid-level-ontology.kif 5955-5964 |
If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360 |
