Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - angleOfFigure
angleOfFigure

appearance as argument number 1
-------------------------


(subrelation angleOfFigure geometricPart) Merge.kif 18189-18189 angle of figure is a subrelation of geometric part
(instance angleOfFigure BinaryPredicate) Merge.kif 18190-18190 angle of figure is an instance of binary predicate
(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 18191-18191 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angleOfFigure 2 GeometricFigure) Merge.kif 18192-18192 The number 2 argument of angle of figure is an instance of geometric figure
(documentation angleOfFigure EnglishLanguage "(angleOfFigure ?ANGLE ?FIGURE) means that the TwoDimensionalAngle ?ANGLE is part of the GeometricFigure ?FIGURE.") Merge.kif 18193-18194 The number 2 argument of angle of figure is an instance of geometric figure

appearance as argument number 2
-------------------------


(format EnglishLanguage angleOfFigure "%1 is the angle found in %2") domainEnglishFormat.kif 2796-2796
(format ChineseTraditionalLanguage angleOfFigure "%1 是發現在 %2 的 angle ") domainEnglishFormat.kif 2797-2797
(format ChineseLanguage angleOfFigure "%1 是发现在 %2 的 angle ") domainEnglishFormat.kif 2798-2798
(termFormat EnglishLanguage angleOfFigure "angle of figure") domainEnglishFormat.kif 7475-7475
(termFormat ChineseTraditionalLanguage angleOfFigure "圖的角度") domainEnglishFormat.kif 7476-7476
(termFormat ChineseLanguage angleOfFigure "图的角度") domainEnglishFormat.kif 7477-7477

antecedent
-------------------------


(=>
    (and
        (equal ?S CircleSector)
        (equal ?A CentralAngle)
        (angleOfFigure ?A ?S)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?A)
        (sideOfIntersection ?A ?S ?L)
        (lineMeasure ?L ?R))
    (exists (?AC)
        (and
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S)
            (arcLength ?AC ?R)
            (angularMeasure ?A
                (MeasureFn 1 Radian)))))		 Mid-level-ontology.kif 5910-5924 If All of the following hold: (1) equal X and circle sector (2) equal Y and central angle (3) Y is the angle found in X (4) equal Z and closed line segment (5) the size of Y is Z (6) Z is the intersection Y and X (7) W is a line measure of Z, then there exists V such that equal V and circular arc and the size of X is V and W is the LengthMeasure of V and 1 radian(s) is an angular measure of Y
(=>
    (and
        (instance ?A CentralAngle)
        (angleOfFigure ?A ?C)
        (equal ?C Circle))
    (angularMeasure ?A
        (MeasureFn 360 AngularDegree)))		 Mid-level-ontology.kif 5926-5931 If X is an instance of central angle, X is the angle found in Y, and equal Y and circle, then 360 angular degree(s) is an angular measure of X
(=>
    (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

consequent
-------------------------


(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))		 Mid-level-ontology.kif 5677-5685 If X is an instance of polygon and equal X and right triangle, then there exists Y such that Y is an instance of two dimensional angle, Y is the angle found in X, equal Y, and at a right angle to
(=>
    (equal ?S CircleSector)
    (exists (?A ?AC)
        (and
            (equal ?A CentralAngle)
            (angleOfFigure ?A ?S)
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S))))		 Mid-level-ontology.kif 5774-5781 If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) central angle (4) Y is the angle found in X (5) equal Z (6) circular arc (7) the size of X is Z

appearance as argument number 0
-------------------------


(angleOfFigure RightAngle Rectangle) Mid-level-ontology.kif 5701-5701 At a right angle to is the angle found in rectangle


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners