SquarePyramid - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute SquarePyramid Pyramid)	Mid-level-ontology.kif 5533-5533	Square pyramid is a subattribute of pyramid
(documentation SquarePyramid 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 5534-5536	Square pyramid is a subattribute of pyramid

appearance as argument number 2

(termFormat EnglishLanguage SquarePyramid "square pyramid")

antecedent

(=> (instance ?P SquarePyramid) (exists (?S) (and (instance ?S Square) (faceOfFigure ?S ?P))))	Mid-level-ontology.kif 5539-5544	If X is an instance of square pyramid, then there exists Y such that Y is an instance of square and Y is the face of Figure X
(=> (instance ?P SquarePyramid) (equal (CardinalityFn (KappaFn ?F (faceOfFigure ?F ?P))) 4))	Mid-level-ontology.kif 5546-5551	If X is an instance of square pyramid, then equal the number of instances in the class described by Y and 4

consequent

(=>
    (equal
        (MeasureFn
            (PerFn
                (MeasureFn ?F KilogramForce)
                (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
        (VickersHardnessFn ?CLASS))
    (modalAttribute
        (exists (?SUB ?P ?D ?H ?S)
            (and
                (instance ?SUB ?CLASS)
                (instance ?P Pushing)
                (destination ?P ?SUB)
                (instance ?D Diamond)
                (shape ?D SquarePyramid)
                (patient ?P ?D)
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?SUB)
                (surface ?S ?H)
                (totalArea ?S
                    (MeasureFn ?A SquareMillimeter))
                (measure ?P
                    (MeasureFn ?F KilogramForce)))) Likely))

If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely