Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Ticket
|
|
|
| appearance as argument number 1 |
|
|
| (instance PoundForce CompositeUnitOfMeasure) | Merge.kif 7467-7467 | Pound force is an instance of composite unit of measure |
| (documentation PoundForce EnglishLanguage "English pound of force. The conversion factor depends on the local value of the acceleration of free fall. A mean value is used in the conversion axiom associated with this constant.") | Merge.kif 7469-7471 | Pound force is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| 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 |
| consequent |
|
|
| (=> (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 (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7473-7475 | equal X pound force(s) and X and 4.448222 newton(s) |
| (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) |
|