TreeView Knowledge Base Browser - VickersPyramidNumber

appearance as argument number 1

(instance VickersPyramidNumber CompositeUnitOfMeasure)	Mid-level-ontology.kif 10664-10664	Vickers pyramid number is an instance of composite unit of measure
(documentation VickersPyramidNumber EnglishLanguage "(VickersPyramidNumber (HV) or Diamond Pyramid Hardness (DPH) is the unit of hardness given by Vickers Hardness test.The HV number is then determined by the ratio F/ A, where F is the force applied to the diamond in KilogramForce and A is the surface area of the resulting indentation in square millimeters. Vickers hardness number (usually given without units), which is in fact one kilogram-force per square millimeter (1 kgf/ mm2).[Wikipedia]")	Mid-level-ontology.kif 10665-10669	Vickers pyramid number is an instance of composite unit of measure

appearance as argument number 2

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