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

Formal Language: 



KB Term:  Term intersection
English Word: 

  angleOfFigure

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 17915-17916
(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 17913-17913 Le nombre 1 argument de angleOfFigure est une instance de TwoDimensionalAngle
(domain angleOfFigure 2 GeometricFigure) Merge.kif 17914-17914 Le nombre 2 argument de angleOfFigure est une instance de GeometricFigure
(instance angleOfFigure BinaryPredicate) Merge.kif 17912-17912 angleOfFigure est une instance de pr�dicat binaire
(subrelation angleOfFigure geometricPart) Merge.kif 17911-17911 angleOfFigure est une sous-relation de geometricPart

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

Show without tree


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