JankaHardnessFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation JankaHardnessFn EnglishLanguage "(JankaHardnessFn ?TREE) returns as its value in PoundForce in the US, Kilogram-force in Sweden or Newton in Australia. It measures the force required to embed an 11.28-millimeter-diameter (7⁄16 in) steel ball halfway into a sample of wood. A common use of Janka Hardness ratings is to determine whether a species is suitable for use as flooring. For hardwood flooring, the test usually requires an 80 mm × 150 mm (3 in × 6 in) sample with a thickness of at least 6–8 mm, and the most commonly used test is the ASTM D1037.[Wikipedia]")	Mid-level-ontology.kif 10405-10411
(domainSubclass JankaHardnessFn 1 BotanicalTree)	Mid-level-ontology.kif 10414-10414	Le nombre 1 argument de JankaHardnessFn est une sous-classe de BotanicalTree
(instance JankaHardnessFn UnaryFunction)	Mid-level-ontology.kif 10404-10404	JankaHardnessFn est une instance de function unaire
(range JankaHardnessFn ConstantQuantity)	Mid-level-ontology.kif 10415-10415	Le domaine de JankaHardnessFn est une instance de quantit� constante

appearance as argument number 2

(format EnglishLanguage JankaHardnessFn "The Janka Hardness of %1 is")	Mid-level-ontology.kif 10413-10413
(termFormat EnglishLanguage JankaHardnessFn "Janka Hardness")	Mid-level-ontology.kif 10412-10412

antecedent

(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))

Mid-level-ontology.kif 10417-10440

Nombre r�el PoundForce(s) est JankaHardnessFn BotanicalTree
l'argument entit� entit�, entit�, entit�, entit� and entit� entit� est une instance de BotanicalTree entit� est une partie de entit� entit� est une instance de Wood entit� est une instance de Pushing entit� aboutit � entit� entit� est une instance de Ball entit� est fait de Steel entit� est un patient de entit� sphereRadius entit� and 5.64 Millimeter(s) entit� est le resultat de entit� entit� est une instance de trou entit� est une partie de entit� entit� est une surface de entit� la distance entre entit� et entit� est 5.64 Millimeter(s) la mesure de entit� est nombre r�el PoundForce(s) a la force modale de Likely

statement

(equal (JankaHardnessFn AspenTree) (MeasureFn 350 PoundForce))	Mid-level-ontology.kif 10442-10442	JankaHardnessFn AspenTree est PoundForce(s)
(equal (JankaHardnessFn BeechTree) (MeasureFn 1300 PoundForce))	Mid-level-ontology.kif 10445-10445	JankaHardnessFn BeechTree est PoundForce(s)
(equal (JankaHardnessFn PoplarTree) (MeasureFn 540 PoundForce))	Mid-level-ontology.kif 10443-10443	JankaHardnessFn PoplarTree est PoundForce(s)
(equal (JankaHardnessFn RedOakTree) (MeasureFn 1290 PoundForce))	Mid-level-ontology.kif 10444-10444	JankaHardnessFn RedOakTree est PoundForce(s)
(equal (JankaHardnessFn WhiteOakTree) (MeasureFn 1360 PoundForce))	Mid-level-ontology.kif 10446-10446	JankaHardnessFn WhiteOakTree est PoundForce(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: