TreeView 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 17858-17859
(domain angleOfFigure 1 TwoDimensionalAngle)	Merge.kif 17856-17856	angleOfFigure の数値 1 引数は TwoDimensionalAngle の instance では %n
(domain angleOfFigure 2 GeometricFigure)	Merge.kif 17857-17857	angleOfFigure の数値 2 引数は GeometricFigure の instance では %n
(instance angleOfFigure BinaryPredicate)	Merge.kif 17855-17855	angleOfFigure は 2進述語の instance では %n
(subrelation angleOfFigure geometricPart)	Merge.kif 17854-17854	angleOfFigure は geometricPart の subrelation では %n

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 4901-4909

appearance as argument number 0

(angleOfFigure RightAngle Rectangle)

Mid-level-ontology.kif 4925-4925