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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de angleOfFigure e' uma instancia de TwoDimensionalAngle
(domain angleOfFigure 2 GeometricFigure) Merge.kif 17914-17914 O argumento numero 2 de angleOfFigure e' uma instancia de GeometricFigure
(instance angleOfFigure BinaryPredicate) Merge.kif 17912-17912 angleOfFigure e' uma instancia de Predicado Binario
(subrelation angleOfFigure geometricPart) Merge.kif 17911-17911 angleOfFigure e' uma sub-relacao 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

appearance as argument number 0
-------------------------


(angleOfFigure RightAngle Rectangle) Mid-level-ontology.kif 4920-4920 angleOfFigure RightAngle and Rectangle


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