angleOfFigure - Sigma Knowledge base Browser

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 17915-17916
(domain angleOfFigure 1 TwoDimensionalAngle)	Merge.kif 17913-17913	The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angleOfFigure 2 GeometricFigure)	Merge.kif 17914-17914	The number 2 argument of angle of figure is an instance of geometric figure
(instance angleOfFigure BinaryPredicate)	Merge.kif 17912-17912	angle of figure is an instance of binary predicate
(subrelation angleOfFigure geometricPart)	Merge.kif 17911-17911	angle of figure is a subrelation of geometric part

appearance as argument number 2

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

consequent

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

Mid-level-ontology.kif 4896-4904

appearance as argument number 0

(angleOfFigure RightAngle Rectangle)

Mid-level-ontology.kif 4920-4920