PoundForce - Sigma Knowledge base Browser

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	Pound force is an instance of composite unit of measure

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 9964-9987

If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is,
then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely

consequent

Mid-level-ontology.kif 9964-9987

If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is,
then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely

statement

(equal (JankaHardnessFn AspenTree) (MeasureFn 350 PoundForce))	Mid-level-ontology.kif 9989-9989	The Janka Hardness of Aspen tree is is equal to 350 pound force(s)
(equal (JankaHardnessFn BeechTree) (MeasureFn 1300 PoundForce))	Mid-level-ontology.kif 9992-9992	The Janka Hardness of Beech tree is is equal to 1300 pound force(s)
(equal (JankaHardnessFn PoplarTree) (MeasureFn 540 PoundForce))	Mid-level-ontology.kif 9990-9990	The Janka Hardness of Poplar tree is is equal to 540 pound force(s)
(equal (JankaHardnessFn RedOakTree) (MeasureFn 1290 PoundForce))	Mid-level-ontology.kif 9991-9991	The Janka Hardness of red oak tree is is equal to 1290 pound force(s)
(equal (JankaHardnessFn WhiteOakTree) (MeasureFn 1360 PoundForce))	Mid-level-ontology.kif 9993-9993	The Janka Hardness of white oak tree is is equal to 1360 pound force(s)
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 7345-7347	A real number pound force(s) is equal to the real number and 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

KB Term:			Term intersection

English Word: