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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 16649-16650
(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 16647-16647 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angleOfFigure 2 GeometricFigure) Merge.kif 16648-16648 The number 2 argument of angle of figure is an instance of geometric figure
(instance angleOfFigure BinaryPredicate) Merge.kif 16646-16646 angle of figure is an instance of binary predicate
(subrelation angleOfFigure geometricPart) Merge.kif 16645-16645 angle of figure is a subrelation of geometric part

appearance as argument number 2

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


    (instance ?RECTANGLE Rectangle)
        (angleOfFigure ?ANGLE ?RECTANGLE)
        (instance ?ANGLE RightAngle)))
Mid-level-ontology.kif 5231-5235
    (instance ?T RightTriangle)
    (exists (?A)
            (instance ?A RightAngle)
            (angleOfFigure ?A ?T))))
Mid-level-ontology.kif 5213-5218

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners