TreeView Knowledge Base Browser

appearance as argument number 1

(instance SquareMillimeter UnitOfArea)	Mid-level-ontology.kif 10618-10618	Square millimeter is an instance of unit of area
(documentation SquareMillimeter EnglishLanguage "SquareMillimeter represents a UnitOfMeasure equal to one square Millimeter.")	Mid-level-ontology.kif 10619-10620	Square millimeter is an instance of unit of area
(equal SquareMillimeter (SquareUnitFn Millimeter))	Mid-level-ontology.kif 10622-10622	equal square millimeter and the square unit of millimeter

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

consequent

Mid-level-ontology.kif 10641-10662