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 17940-17941
(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 17938-17938 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angleOfFigure 2 GeometricFigure) Merge.kif 17939-17939 The number 2 argument of angle of figure is an instance of geometric figure
(instance angleOfFigure BinaryPredicate) Merge.kif 17937-17937 angle of figure is an instance of binary predicate
(subrelation angleOfFigure geometricPart) Merge.kif 17936-17936 angle of figure is a subrelation of geometric part

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 7489-7489
(termFormat ChineseTraditionalLanguage angleOfFigure "圖的角度") domainEnglishFormat.kif 7488-7488
(termFormat EnglishLanguage angleOfFigure "angle of figure") domainEnglishFormat.kif 7487-7487

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 5410-5419
(=>
    (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 5394-5403
(=>
    (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 5365-5379
(=>
    (and
        (instance ?A CentralAngle)
        (angleOfFigure ?A ?C)
        (equal ?C Circle))
    (angularMeasure ?A
        (MeasureFn 360 AngularDegree)))		 Mid-level-ontology.kif 5381-5386

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


(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))		 Mid-level-ontology.kif 5142-5150
(=>
    (equal ?S CircleSector)
    (exists (?A ?AC)
        (and
            (equal ?A CentralAngle)
            (angleOfFigure ?A ?S)
            (equal ?AC CircularArc)
            (sideOfFigure ?AC ?S))))		 Mid-level-ontology.kif 5229-5236