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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightTriangle
RightTriangle(right triangle)
right-angled_triangle, right_triangle

appearance as argument number 1
-------------------------


(documentation RightTriangle EnglishLanguage "Any Triangle that contains a RightAngle.") Mid-level-ontology.kif 5211-5211
(externalImage RightTriangle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Trigonometric_Triangle.svg") pictureList.kif 967-967
(subclass RightTriangle Triangle) Mid-level-ontology.kif 5210-5210 Right triangle is a subclass of triangle

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RightTriangle "直角三角形") domainEnglishFormat.kif 49946-49946
(termFormat ChineseTraditionalLanguage RightTriangle "直角三角形") domainEnglishFormat.kif 49945-49945
(termFormat EnglishLanguage RightTriangle "right triangle") domainEnglishFormat.kif 49944-49944

antecedent
-------------------------


(=>
    (instance ?T RightTriangle)
    (exists (?A)
        (and
            (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