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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Triangle
Triangle

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


(documentation Triangle EnglishLanguage "Any three-sided Polygon.") Mid-level-ontology.kif 5204-5204
(externalImage Triangle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ shapes/ triangle.png") pictureList.kif 795-795
(subclass Triangle Polygon) Mid-level-ontology.kif 5203-5203

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


(subclass RightTriangle Triangle) Mid-level-ontology.kif 5210-5210
(termFormat ChineseLanguage Triangle "三角形") domainEnglishFormat.kif 59158-59158
(termFormat ChineseTraditionalLanguage Triangle "三角形") domainEnglishFormat.kif 59157-59157
(termFormat EnglishLanguage Triangle "triangle") domainEnglishFormat.kif 59156-59156

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


(=>
    (instance ?TRIANGLE Triangle)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 5206-5208


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