Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoundForce
PoundForce

appearance as argument number 1
-------------------------


(documentation PoundForce ChineseLanguage "英制力的单位磅力。它的换算因子决定于自由落体的局部加速度。 和这个常数相关的换算公理会用平均值。") chinese_format.kif 2614-2615
(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 7341-7343
(documentation PoundForce JapaneseLanguage "イギリスの重量ポンド。変換係数は、重力加速度のロー カル値に依存する。平均値は、この定数に関連付けられた変換公理で使用される。") japanese_format.kif 1328-1329
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7339-7339 PoundForce est une instance de CompositeUnitOfMeasure

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PoundForce "磅力") domainEnglishFormat.kif 46989-46989
(termFormat ChineseTraditionalLanguage PoundForce "磅力") domainEnglishFormat.kif 46988-46988
(termFormat EnglishLanguage PoundForce "pound force") domainEnglishFormat.kif 46987-46987

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

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 10417-10440

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)
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))		 Merge.kif 7345-7347 Nombre r�el PoundForce(s) est nombre r�el + 4.448222 Newton(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