TreeView Knowledge Base Browser

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)))))

If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W

statement

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

equal the number of instances in the class described by X and 3

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

(subAttribute RightTriangle Triangle)	Mid-level-ontology.kif 5674-5674	Right triangle is a subattribute of triangle
(termFormat EnglishLanguage Triangle "triangle")	domainEnglishFormat.kif 59149-59149	Right triangle is a subattribute of triangle
(termFormat ChineseTraditionalLanguage Triangle "三角形")	domainEnglishFormat.kif 59150-59150	Right triangle is a subattribute of triangle
(termFormat ChineseLanguage Triangle "三角形")	domainEnglishFormat.kif 59151-59151	Right triangle is a subattribute of triangle