Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JankaHardnessFn |
| appearance as argument number 1 |
|
| (instance JankaHardnessFn UnaryFunction) | Mid-level-ontology.kif 10556-10556 | Janka Hardness is an instance of unary function |
| (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 10557-10563 | Janka Hardness is an instance of unary function |
| (domainSubclass JankaHardnessFn 1 BotanicalTree) | Mid-level-ontology.kif 10566-10566 | The number 1 argument of Janka Hardness is a subclass of botanical tree |
| (range JankaHardnessFn ConstantQuantity) | Mid-level-ontology.kif 10567-10567 | The range of Janka Hardness is an instance of constant quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JankaHardnessFn "Janka Hardness") | Mid-level-ontology.kif 10564-10564 | |
| (format EnglishLanguage JankaHardnessFn "The Janka Hardness of %1 is") | Mid-level-ontology.kif 10565-10565 |
| 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 10569-10592 | If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) 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 W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| statement |
|
|
| (equal (JankaHardnessFn BeechTree) (MeasureFn 1300 PoundForce)) |
Geography.kif 8113-8113 | equal The Janka Hardness of Beech tree is and 1300 pound force(s) |
| (equal (JankaHardnessFn PoplarTree) (MeasureFn 540 PoundForce)) |
Geography.kif 8141-8141 | equal The Janka Hardness of Poplar tree is and 540 pound force(s) |
| (equal (JankaHardnessFn AspenTree) (MeasureFn 350 PoundForce)) |
Geography.kif 8148-8148 | equal The Janka Hardness of Aspen tree is and 350 pound force(s) |
| (equal (JankaHardnessFn RedOakTree) (MeasureFn 1290 PoundForce)) |
Geography.kif 8153-8153 | equal The Janka Hardness of red oak tree is and 1290 pound force(s) |
| (equal (JankaHardnessFn WhiteOakTree) (MeasureFn 1360 PoundForce)) |
Geography.kif 8169-8169 | equal The Janka Hardness of white oak tree is and 1360 pound force(s) |
|