Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - angleOfFigure
angleOfFigure

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


(documentation angleOfFigure ChineseLanguage "(angleOfFigure ?ANGLE ?FIGURE)的意思是 TwoDimensionalAngle ?ANGLE 是 GeometricFigure ?FIGURE 的一部分。") chinese_format.kif 3988-3989
(documentation angleOfFigure EnglishLanguage "(angleOfFigure ?ANGLE ?FIGURE) means that the TwoDimensionalAngle ?ANGLE is part of the GeometricFigure ?FIGURE.") Merge.kif 18019-18020
(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 18017-18017
(domain angleOfFigure 2 GeometricFigure) Merge.kif 18018-18018
(instance angleOfFigure BinaryPredicate) Merge.kif 18016-18016
(subrelation angleOfFigure geometricPart) Merge.kif 18015-18015

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


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

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


(=>
    (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 5798-5807
(=>
    (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 5782-5791
(=>
    (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 5753-5767
(=>
    (and
        (instance ?A CentralAngle)
        (angleOfFigure ?A ?C)
        (equal ?C Circle))
    (angularMeasure ?A
        (MeasureFn 360 AngularDegree)))
Mid-level-ontology.kif 5769-5774

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


(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))
Mid-level-ontology.kif 5530-5538
(=>
    (equal ?S CircleSector)
    (exists (?A ?AC)
        (and
            (equal ?A CentralAngle)
            (angleOfFigure ?A ?S)
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S))))
Mid-level-ontology.kif 5617-5624