KilogramForce - Sigma Knowledge base Browser

appearance as argument number 1

(instance KilogramForce CompositeUnitOfMeasure)	Mid-level-ontology.kif 5436-5436	Kilogram force is an instance of composite unit of measure
(documentation KilogramForce EnglishLanguage "(The kilogram-force (kgf or kgF), or kilopond (kp, from Latin: pondus, lit. 'weight'), is a non-standard gravitational metric unit of force. The kilogram-force is equal to the magnitude of the force exerted on one kilogram of mass in a 9.80665 m/ s2 gravitational field.That is, it is the weight of a kilogram under standard gravity. One kilogram-force is defined as 9.80665 N. [Wikipedia]")	Mid-level-ontology.kif 5437-5441	Kilogram force is an instance of composite unit of measure

appearance as argument number 2

(termFormat EnglishLanguage KilogramForce "kilogram force")

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

statement

(equal
    (MeasureFn ?NUMBER KilogramForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 9.80665) Newton))