Triangle - Sigma Knowledge base Browser

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