TwoDimensionalAngle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoDimensionalAngle OpenTwoDimensionalFigure)	Merge.kif 18162-18162	Two dimensional angle is a subclass of open two dimensional figure
(documentation TwoDimensionalAngle EnglishLanguage "Any two OneDimensionalFigures (i.e. straight lines) meeting at a single GeometricPoint.")	Merge.kif 18163-18164	Two dimensional angle is a subclass of open two dimensional figure
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Angle_measure.svg")	pictureList.kif 2046-2046	Two dimensional angle is a subclass of open two dimensional figure
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Angle_Symbol.svg")	pictureList.kif 2416-2416	Two dimensional angle is a subclass of open two dimensional figure

appearance as argument number 2

(instance ObliqueAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5613-5613	Oblique angle is an instance of two dimensional angle
(instance RightAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5625-5625	At a right angle to is an instance of two dimensional angle
(instance AcuteAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5636-5636	Acute angle is an instance of two dimensional angle
(instance CentralAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5869-5869	Central angle is an instance of two dimensional angle
(termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle")	domainEnglishFormat.kif 59679-59679	Central angle is an instance of two dimensional angle
(termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度")	domainEnglishFormat.kif 59680-59680	Central angle is an instance of two dimensional angle
(termFormat ChineseLanguage TwoDimensionalAngle "二维角度")	domainEnglishFormat.kif 59681-59681	Central angle is an instance of two dimensional angle

appearance as argument number 3

(domain angleOfFigure 1 TwoDimensionalAngle)	Merge.kif 18191-18191	The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angularMeasure 1 TwoDimensionalAngle)	Merge.kif 18231-18231	The number 1 argument of angular measure is an instance of two dimensional angle

consequent

(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))