ObliqueAngle - Sigma Knowledge base Browser

appearance as argument number 1

(instance ObliqueAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5613-5613	Oblique angle is an instance of two dimensional angle
(documentation ObliqueAngle EnglishLanguage "Any TwoDimensionalAngle that has an angularMeasure that is greater than 90 AngularDegrees.")	Mid-level-ontology.kif 5614-5615	Oblique angle is an instance of two dimensional angle
(externalImage ObliqueAngle "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Angle_obtuse_acute_straight.svg")	pictureList.kif 1871-1871	Oblique angle is an instance of two dimensional angle

appearance as argument number 2

(termFormat EnglishLanguage ObliqueAngle "oblique angle")	domainEnglishFormat.kif 41553-41553
(termFormat ChineseTraditionalLanguage ObliqueAngle "斜角")	domainEnglishFormat.kif 41554-41554
(termFormat ChineseLanguage ObliqueAngle "斜角")	domainEnglishFormat.kif 41555-41555

antecedent

(=>
    (and
        (equal ?O ObliqueAngle)
        (angularMeasure ?O
            (MeasureFn ?N AngularDegree)))
    (greaterThan ?N 90.0))

If equal X and oblique angle and Y angular degree(s) is an angular measure of X, then Y is greater than 90.0