TreeView Knowledge Base Browser

appearance as argument number 1

(instance Pyramid Polyhedron)	Mid-level-ontology.kif 5509-5509	Pyramid is an instance of polyhedron
(documentation Pyramid EnglishLanguage "In geometry, a Pyramid is a Polyhedron formed by connecting a polygonal base and a point, called the apex. Each base edge and apex form a triangle, called a lateral face. A pyramid is a conic solid with a polygonal base.[Wikipedia]")	Mid-level-ontology.kif 5510-5512	Pyramid is an instance of polyhedron

appearance as argument number 2

(termFormat EnglishLanguage Pyramid "pyramid")	Mid-level-ontology.kif 5513-5513
(subAttribute SquarePyramid Pyramid)	Mid-level-ontology.kif 5533-5533	Square pyramid is a subattribute of pyramid

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