VickersHardnessFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance VickersHardnessFn UnaryFunction)	Mid-level-ontology.kif 10627-10627	Vickers Hardness is an instance of unary function
(documentation VickersHardnessFn EnglishLanguage "(VickersHardnessFn ?SUB) returns as its value in Kg/ mm2. The Vickers hardness test was developed in 1921 by Robert L. Smith and George E. Sandland at Vickers Ltd. The unit of hardness given by the test is known as the Vickers Pyramid Number (HV) or Diamond Pyramid Hardness (DPH). A diamond in the form of a square-based pyramid was established to be the indenter. The included angle between plane faces of the indenter tip from each face normal to the horizontal plane is established to be 22 degree on each side. The HV number is then determined by the ratio F/ A, where F is the force applied to the diamond in kilograms-force and A is the surface area of the resulting indentation in square millimeters.[Wikipedia]")	Mid-level-ontology.kif 10628-10635	Vickers Hardness is an instance of unary function
(domainSubclass VickersHardnessFn 1 Substance)	Mid-level-ontology.kif 10638-10638	The number 1 argument of Vickers Hardness is a subclass of substance
(range VickersHardnessFn FunctionQuantity)	Mid-level-ontology.kif 10639-10639	The range of Vickers Hardness is an instance of function quantity

appearance as argument number 2

(termFormat EnglishLanguage VickersHardnessFn "Vickers Hardness")	Mid-level-ontology.kif 10636-10636
(format EnglishLanguage VickersHardnessFn "The Vickers Hardness of %1 is")	Mid-level-ontology.kif 10637-10637

antecedent

(=>
    (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