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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalQuantity
PhysicalQuantity(quantit� physique)

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 2024-2039
(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 2022-2022 Quantit� physique est compl�tement d�compos� en quantit� constante + function de quantit�
(subclass PhysicalQuantity Quantity) Merge.kif 2021-2021 Quantit� physique est une sous-classe de quantit�

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


(range MeasureFn PhysicalQuantity) Merge.kif 6360-6360 Le domaine de MeasureFn est une instance de quantit� physique
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2041-2041 Quantit� constante est une sous-classe de quantit� physique
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2096-2096 Function de quantit� est une sous-classe de quantit� physique
(subclass PerformanceMeasure PhysicalQuantity) FinancialOntology.kif 1660-1660 PerformanceMeasure est une sous-classe de quantit� physique
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6208-6208 Unit� de mesure est une sous-classe de quantit� physique
(termFormat ChineseLanguage PhysicalQuantity "物理量") chinese_format.kif 875-875 Unit� de mesure est une sous-classe de quantit� physique
(termFormat EnglishLanguage PhysicalQuantity "physical quantity") english_format.kif 952-952 Unit� de mesure est une sous-classe de quantit� physique
(termFormat FrenchLanguage PhysicalQuantity "quantit� physique") french_format.kif 551-551 Unit� de mesure est une sous-classe de quantit� physique
(termFormat Hindi PhysicalQuantity "bhOtika parimaaNa") terms-hindi.txt 81-81 Unit� de mesure est une sous-classe de quantit� physique
(termFormat ItalianLanguage PhysicalQuantity "Quantit�Fisica") terms-it.txt 84-84 Unit� de mesure est une sous-classe de quantit� physique
(termFormat JapaneseLanguage PhysicalQuantity "物理量") japanese_format.kif 2236-2236 Unit� de mesure est une sous-classe de quantit� physique
(termFormat PortugueseLanguage PhysicalQuantity "Quantidade Fisica") portuguese_format.kif 503-503 Unit� de mesure est une sous-classe de quantit� physique
(termFormat cz PhysicalQuantity "physical quantity") terms-cz.txt 118-118 Unit� de mesure est une sous-classe de quantit� physique
(termFormat de PhysicalQuantity "koerperliche Quantitaet") terms-de.txt 377-377 Unit� de mesure est une sous-classe de quantit� physique
(termFormat ro PhysicalQuantity "cantitate fizicã") relations-ro.kif 572-572 Unit� de mesure est une sous-classe de quantit� physique
(termFormat tg PhysicalQuantity "dami ng materyal") terms-tg.txt 85-85 Unit� de mesure est une sous-classe de quantit� physique

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


(domain PerFn 1 PhysicalQuantity) Merge.kif 6640-6640 Le nombre 1 argument de PerFn est une instance de quantit� physique
(domain PerFn 2 PhysicalQuantity) Merge.kif 6641-6641 Le nombre 2 argument de PerFn est une instance de quantit� physique
(domain UnitFn 1 PhysicalQuantity) Merge.kif 6621-6621 Le nombre 1 argument de UnitFn est une instance de quantit� physique
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2345-2345 Le nombre 2 argument de annualElectricityConsumption est une instance de quantit� physique
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2389-2389 Le nombre 2 argument de annualElectricityExport est une instance de quantit� physique
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2435-2435 Le nombre 2 argument de annualElectricityImport est une instance de quantit� physique
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 2213-2213 Le nombre 2 argument de annualElectricityProduction est une instance de quantit� physique
(domain barometricPressure 2 PhysicalQuantity) Merge.kif 7887-7887 Le nombre 2 argument de barometricPressure est une instance de quantit� physique
(domain carrierFrequency 2 PhysicalQuantity) ComputingBrands.kif 1549-1549 Le nombre 2 argument de carrierFrequency est une instance de quantit� physique
(domain diastolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 11772-11772 Le nombre 2 argument de diastolicBloodPressure est une instance de quantit� physique
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2767-2767 Le nombre 2 argument de earthAltitude est une instance de quantit� physique
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2335-2335 Le nombre 2 argument de electricityConsumptionInPeriod est une instance de quantit� physique
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2378-2378 Le nombre 2 argument de electricityExportInPeriod est une instance de quantit� physique
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2423-2423 Le nombre 2 argument de electricityImportInPeriod est une instance de quantit� physique
(domain electricityProductionInPeriod 2 PhysicalQuantity) Economy.kif 2203-2203 Le nombre 2 argument de electricityProductionInPeriod est une instance de quantit� physique
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986 Le nombre 2 argument de fleetGrossRegisteredTonnage est une instance de quantit� physique
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 240-240 Le nombre 2 argument de highAltitudeWindVelocity est une instance de quantit� physique
(domain imageResolution 2 PhysicalQuantity) QoSontology.kif 2132-2132 Le nombre 2 argument de imageResolution est une instance de quantit� physique
(domain ingredientAmount 3 PhysicalQuantity) Food.kif 1664-1664 Le nombre 3 argument de ingredientAmount est une instance de quantit� physique
(domain lowAltitudeWindSpeed 2 PhysicalQuantity) Weather.kif 203-203 Le nombre 2 argument de lowAltitudeWindSpeed est une instance de quantit� physique
(domain lowAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 191-191 Le nombre 2 argument de lowAltitudeWindVelocity est une instance de quantit� physique
(domain measure 2 PhysicalQuantity) Merge.kif 7532-7532 Le nombre 2 argument de measure est une instance de quantit� physique
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 217-217 Le nombre 2 argument de mediumAltitudeWindVelocity est une instance de quantit� physique
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 3161-3161 Le nombre 2 argument de navigableForShippingTonnage est une instance de quantit� physique
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 829-829 Le nombre 2 argument de resonantFrequency est une instance de quantit� physique

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 6630-6636
(=>
    (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 32911-32925
(=>
    (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 32850-32859
(=>
    (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 32878-32892

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


(=>
    (and
        (instance ?LIST MeasuringResultList)
        (inList ?R ?LIST))
    (instance ?R PhysicalQuantity))
Weather.kif 2173-2177
(=>
    (instance ?CHART Chart)
    (exists (?QUANTITY)
        (and
            (instance ?QUANTITY PhysicalQuantity)
            (refers ?CHART ?QUANTITY))))
Mid-level-ontology.kif 14583-14588
(=>
    (instance ?G Chart)
    (exists (?Q)
        (and
            (instance ?Q PhysicalQuantity)
            (refers ?G ?Q))))
Mid-level-ontology.kif 14612-14617


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