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 2794-2794
(format ChineseTraditionalLanguage angleOfFigure "%1 是發現在 %2 的 angle ")	domainEnglishFormat.kif 2793-2793
(format EnglishLanguage angleOfFigure "%1 is the angle found in %2")	domainEnglishFormat.kif 2792-2792
(termFormat ChineseLanguage angleOfFigure "图的角度")	domainEnglishFormat.kif 7490-7490
(termFormat ChineseTraditionalLanguage angleOfFigure "圖的角度")	domainEnglishFormat.kif 7489-7489
(termFormat EnglishLanguage angleOfFigure "angle of figure")	domainEnglishFormat.kif 7488-7488

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