TreeView Knowledge Base Browser

appearance as argument number 1

(instance AcuteAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5636-5636	Acute angle is an instance of two dimensional angle
(documentation AcuteAngle EnglishLanguage "Any TwoDimensionalAngle that has an angularMeasure that is less than 90 AngularDegrees.")	Mid-level-ontology.kif 5637-5638	Acute angle is an instance of two dimensional angle
(externalImage AcuteAngle "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Angle_obtuse_acute_straight.svg")	pictureList.kif 1618-1618	Acute angle is an instance of two dimensional angle

appearance as argument number 2

(termFormat EnglishLanguage AcuteAngle "acute angle")	domainEnglishFormat.kif 5401-5401
(termFormat ChineseTraditionalLanguage AcuteAngle "銳角")	domainEnglishFormat.kif 5402-5402
(termFormat ChineseLanguage AcuteAngle "锐角")	domainEnglishFormat.kif 5403-5403

antecedent

(=>
    (and
        (equal ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?N 90.0))

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