Triangle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Triangle EnglishLanguage "Any three_sided Polygon.")	Mid-level-ontology.kif 5132-5132
(externalImage Triangle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ triangle.png")	pictureList.kif 795-795
(instance Triangle Polygon)	Mid-level-ontology.kif 5131-5131	Triangle is an instance of polygon

appearance as argument number 2

(subAttribute RightTriangle Triangle)	Mid-level-ontology.kif 5139-5139	Right triangle is a subattribute of triangle
(termFormat ChineseLanguage Triangle "三角形")	domainEnglishFormat.kif 59187-59187	Right triangle is a subattribute of triangle
(termFormat ChineseTraditionalLanguage Triangle "三角形")	domainEnglishFormat.kif 59186-59186	Right triangle is a subattribute of triangle
(termFormat EnglishLanguage Triangle "triangle")	domainEnglishFormat.kif 59185-59185	Right triangle is a subattribute of triangle

antecedent

(=>
    (and
        (instance ?PY Pyramid)
        (instance ?POL Polygon)
        (faceOfFigure ?POL ?PY)
        (sideOfFigure ?S ?POL)
        (instance ?T Triangle)
        (faceOfFigure ?T ?PY)
        (sideOfFigure ?S ?T)
        (sideOfIntersection ?POL ?T ?S))
    (equal
        (CardinalityFn
            (KappaFn ?S
                (sideOfFigure ?S ?POL)))
        (CardinalityFn
            (KappaFn ?T
                (faceOfFigure ?T ?PY)))))

Mid-level-ontology.kif 4981-4997

statement

(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)

Mid-level-ontology.kif 5134-5137

The number of instances in the class described by a symbolic string is equal to 3