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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalQuantity

Sigma KEE - PhysicalQuantity
PhysicalQuantity

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


(documentation PhysicalQuantity ChineseLanguage "PhysicalQuantity是一种用来衡量建模世界上的 一些可以量度的部分,例如:「地球的直径」(长度固定)和「装满了可变形的固体的应力」(应力的衡量,它是一个有 三个空间坐标的函数)。 PhysicalQuantity 要不是 ConstantQuantity,就是 FunctionQuantityConstantQuantity 的实例需要有一个 UnitOfMeasure,而 FunctionQuantity 的实例是要靠一个 Function, 它把 ConstantQuantity 的实例和其它 ConstantQuantity 的实例联系在一起(举例说, TimeDependentQuantity 属于 FunctionQuantity)。 PhysicalQuantity 这个名字和定义是借用物 理理论,但是 PhysicalQuantity 不一定是指物质上的。 除了长度、时间和速度等这些尺度以外,非物理尺寸如 货币也是可行的。因此,金钱会是 PhysicalQuantity 的实例。 PhysicalQuantity 和纯 Number 的区别在于前者附有一个衡量的尺度。") chinese_format.kif 1759-1767
(documentation PhysicalQuantity EnglishLanguage "A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates). Every PhysicalQuantity is either a ConstantQuantity or FunctionQuantity. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., a TimeDependentQuantity is a FunctionQuantity). Although the name and definition of PhysicalQuantity is borrowed from physics, a PhysicalQuantity need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. A PhysicalQuantity is distinguished from a pure Number by the fact that the former is associated with a dimension of measurement.") Merge.kif 2028-2043
(documentation PhysicalQuantity JapaneseLanguage "PhysicalQuantity は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) の ように、モデル化された世界の定量化可能な側面の尺度である。 すべての PhysicalQuantityConstantQuantity または FunctionQuantity のいずれかです。 ConstantQuantity のインスタン スは UOM に依存し、それに対し、FunctionQuantity のインスタンスは、ConstantQuantity のイン スタンスを ConstantQuantity の他のインスタンスにマップする Functions である。(例: TimeDependentQuantityFunctionQuantityQ である)。 PhysicalQuantity の名前と定義は 物理学から借りているが、PhysicalQuantity は材料である必要はない。 長さ、時間、速度などの寸法の ほかに、通貨などの非物理的な寸法も可能である。 それに応じて、金額は、PhysicalQuantity のインス タンスになる。 PhysicalQuantity は、前者が寸法測定に関連付けられているという事実によって純粋 な Number と区別される。") japanese_format.kif 368-378
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2026-2026 PhysicalQuantity wird vollstaendig in ConstantQuantity und FunctionQuantity verteilt
(subclass PhysicalQuantity Quantity) Merge.kif 2025-2025 PhysicalQuantity ist eine teilkategorie von Quantity

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


(range MeasureFn PhysicalQuantity) Merge.kif 6350-6350 bildbereich von MeasureFn ist ein fall von PhysicalQuantity {nicht}
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2045-2045 ConstantQuantity ist eine teilkategorie von PhysicalQuantity
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2100-2100 FunctionQuantity ist eine teilkategorie von PhysicalQuantity
(subclass PerformanceMeasure PhysicalQuantity) FinancialOntology.kif 1644-1644 PerformanceMeasure ist eine teilkategorie von PhysicalQuantity
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6198-6198 UnitOfMeasure ist eine teilkategorie von PhysicalQuantity
(termFormat ChineseLanguage PhysicalQuantity "物理量") chinese_format.kif 875-875
(termFormat EnglishLanguage PhysicalQuantity "physical quantity") english_format.kif 952-952
(termFormat FrenchLanguage PhysicalQuantity "quantit� physique") french_format.kif 551-551
(termFormat Hindi PhysicalQuantity "bhOtika parimaaNa") terms-hindi.txt 81-81
(termFormat ItalianLanguage PhysicalQuantity "Quantit�Fisica") terms-it.txt 84-84
(termFormat JapaneseLanguage PhysicalQuantity "物理量") japanese_format.kif 2236-2236
(termFormat PortugueseLanguage PhysicalQuantity "Quantidade Fisica") portuguese_format.kif 503-503
(termFormat cz PhysicalQuantity "physical quantity") terms-cz.txt 118-118
(termFormat ro PhysicalQuantity "cantitate fizicã") relations-ro.kif 572-572
(termFormat tg PhysicalQuantity "dami ng materyal") terms-tg.txt 85-85

appearance as argument number 3
-------------------------


(domain PerFn 1 PhysicalQuantity) Merge.kif 6630-6630 Die Zahl 1 Argument von PerFn ist ein fall von PhysicalQuantity %n{nicht}
(domain PerFn 2 PhysicalQuantity) Merge.kif 6631-6631 Die Zahl 2 Argument von PerFn ist ein fall von PhysicalQuantity %n{nicht}
(domain UnitFn 1 PhysicalQuantity) Merge.kif 6611-6611 Die Zahl 1 Argument von UnitFn ist ein fall von PhysicalQuantity %n{nicht}
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2105-2105 Die Zahl 2 Argument von annualElectricityConsumption ist ein fall von PhysicalQuantity %n{nicht}
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2149-2149 Die Zahl 2 Argument von annualElectricityExport ist ein fall von PhysicalQuantity %n{nicht}
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2195-2195 Die Zahl 2 Argument von annualElectricityImport ist ein fall von PhysicalQuantity %n{nicht}
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 1973-1973 Die Zahl 2 Argument von annualElectricityProduction ist ein fall von PhysicalQuantity %n{nicht}
(domain barometricPressure 2 PhysicalQuantity) Merge.kif 7817-7817 Die Zahl 2 Argument von barometricPressure ist ein fall von PhysicalQuantity %n{nicht}
(domain carrierFrequency 2 PhysicalQuantity) ComputingBrands.kif 1549-1549 Die Zahl 2 Argument von carrierFrequency ist ein fall von PhysicalQuantity %n{nicht}
(domain diastolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 10441-10441 Die Zahl 2 Argument von diastolicBloodPressure ist ein fall von PhysicalQuantity %n{nicht}
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2779-2779 Die Zahl 2 Argument von earthAltitude ist ein fall von PhysicalQuantity %n{nicht}
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2095-2095 Die Zahl 2 Argument von electricityConsumptionInPeriod ist ein fall von PhysicalQuantity %n{nicht}
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2138-2138 Die Zahl 2 Argument von electricityExportInPeriod ist ein fall von PhysicalQuantity %n{nicht}
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2183-2183 Die Zahl 2 Argument von electricityImportInPeriod ist ein fall von PhysicalQuantity %n{nicht}
(domain electricityProductionInPeriod 2 PhysicalQuantity) Economy.kif 1963-1963 Die Zahl 2 Argument von electricityProductionInPeriod ist ein fall von PhysicalQuantity %n{nicht}
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986 Die Zahl 2 Argument von fleetGrossRegisteredTonnage ist ein fall von PhysicalQuantity %n{nicht}
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 252-252 Die Zahl 2 Argument von highAltitudeWindVelocity ist ein fall von PhysicalQuantity %n{nicht}
(domain imageResolution 2 PhysicalQuantity) QoSontology.kif 2001-2001 Die Zahl 2 Argument von imageResolution ist ein fall von PhysicalQuantity %n{nicht}
(domain ingredientAmount 3 PhysicalQuantity) Food.kif 1658-1658 Die Zahl 3 Argument von ingredientAmount ist ein fall von PhysicalQuantity %n{nicht}
(domain lowAltitudeWindSpeed 2 PhysicalQuantity) Weather.kif 215-215 Die Zahl 2 Argument von lowAltitudeWindSpeed ist ein fall von PhysicalQuantity %n{nicht}
(domain lowAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 203-203 Die Zahl 2 Argument von lowAltitudeWindVelocity ist ein fall von PhysicalQuantity %n{nicht}
(domain measure 2 PhysicalQuantity) Merge.kif 7503-7503 Die Zahl 2 Argument von measure ist ein fall von PhysicalQuantity %n{nicht}
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 229-229 Die Zahl 2 Argument von mediumAltitudeWindVelocity ist ein fall von PhysicalQuantity %n{nicht}
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 2630-2630 Die Zahl 2 Argument von navigableForShippingTonnage ist ein fall von PhysicalQuantity %n{nicht}
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 829-829 Die Zahl 2 Argument von resonantFrequency ist ein fall von PhysicalQuantity %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6620-6626
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30973-30987
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30912-30921
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30940-30954

consequent
-------------------------


(=>
    (and
        (instance ?LIST MeasuringResultList)
        (inList ?R ?LIST))
    (instance ?R PhysicalQuantity))
Weather.kif 1784-1788
(=>
    (instance ?CHART Chart)
    (exists (?QUANTITY)
        (and
            (instance ?QUANTITY PhysicalQuantity)
            (refers ?CHART ?QUANTITY))))
Mid-level-ontology.kif 13244-13249
(=>
    (instance ?G Chart)
    (exists (?Q)
        (and
            (instance ?Q PhysicalQuantity)
            (refers ?G ?Q))))
Mid-level-ontology.kif 13273-13278


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

Show without tree


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