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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalQuantity
PhysicalQuantityمِقْدَار فِيْزْيَائِي, N, Quantidade_Fisica, Quantit�Fisica, acid_value, bhOtika_parimaaNa, breakage, chlorinity, dami_ng_materyal, definite_quantity, frontage, haematocytopenia, half-intensity, heat_barrier, hematocytopenia, indefinite_quantity, limit, limit_point, normality, output, physical_quantity, point_of_accumulation, precipitation, production, pulmonary_reserve, quantit�_physique, radius_of_curvature, relative_quantity, reserve, run, scalar, scale_value, skinful, thermal_barrier, top-up, toxicity, vote, voter_turnout, yield, 物理量

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


s__documentation(s__PhysicalQuantity,s__ChineseLanguage,'PhysicalQuantity是一种用来衡量建模世界上的 一些可以量度的部分,例如:「地球的直径」(长度固定)和「装满了可变形的固体的应力」(应力的衡量,它是一个有 三个空间坐标的函数)。 PhysicalQuantity 要不是 ConstantQuantity,就是 FunctionQuantityConstantQuantity 的实例需要有一个 UnitOfMeasure,而 FunctionQuantity 的实例是要靠一个 Function, 它把 ConstantQuantity 的实例和其它 ConstantQuantity 的实例联系在一起(举例说, TimeDependentQuantity 属于 FunctionQuantity)。 PhysicalQuantity 这个名字和定义是借用物 理理论,但是 PhysicalQuantity 不一定是指物质上的。 除了长度、时间和速度等这些尺度以外,非物理尺寸如 货币也是可行的。因此,金钱会是 PhysicalQuantity 的实例。 PhysicalQuantity 和纯 Number 的区别在于前者附有一个衡量的尺度。')

Merge.kif 2104-2112
s__documentation(s__PhysicalQuantity,s__EnglishLanguage,'A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as the earths 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 2088-2103
s__partition_3(s__PhysicalQuantity,s__ConstantQuantity,s__FunctionQuantity)

Merge.kif 2087-2087
s__instance(s__PhysicalQuantity,s__SetOrClass)

Merge.kif 2086-2086

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


s__range(s__MeasureFn__m,s__PhysicalQuantity)

Merge.kif 6492-6492
s__instance(s__ConstantQuantity,s__SetOrClass)

Merge.kif 2114-2114
s__instance(s__FunctionQuantity,s__SetOrClass)

Merge.kif 2186-2186
s__instance(s__PhysicalQuantity,s__SetOrClass)

FinancialOntology.kif 1588-1588
s__instance(s__UnitOfMeasure,s__SetOrClass)

Merge.kif 6320-6320
s__termFormat(s__ChineseLanguage,s__PhysicalQuantity,'物理量')

chinese_format.kif 875-875
s__termFormat(s__EnglishLanguage,s__PhysicalQuantity,'physical quantity')

english_format.kif 562-562
s__termFormat(s__FrenchLanguage,s__PhysicalQuantity,'quantit� physique')

french_format.kif 551-551
s__termFormat(s__Hindi,s__PhysicalQuantity,'bhOtika parimaaNa')

terms-hindi.txt 81-81
s__termFormat(s__ItalianLanguage,s__PhysicalQuantity,'Quantit�Fisica')

terms-it.txt 82-82
s__termFormat(s__PortugueseLanguage,s__PhysicalQuantity,'Quantidade Fisica')

portuguese_format.kif 503-503
s__termFormat(s__ar__m,s__PhysicalQuantity,'مِقْدَار فِيْزْيَائِي')

arabic_format.kif 287-287
s__termFormat(s__cz__m,s__PhysicalQuantity,'physical quantity')

terms-cz.txt 118-118
s__termFormat(s__tg__m,s__PhysicalQuantity,'dami ng materyal')

terms-tg.txt 85-85

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


s__domain(s__MagnitudeFn__m,1,s__PhysicalQuantity)

Merge.kif 6778-6778
s__domain(s__PerFn__m,1,s__PhysicalQuantity)

Merge.kif 6821-6821
s__domain(s__PerFn__m,2,s__PhysicalQuantity)

Merge.kif 6822-6822
s__domain(s__UnitFn__m,1,s__PhysicalQuantity)

Merge.kif 6800-6800
s__domain(s__annualElectricityConsumption__m,2,s__PhysicalQuantity)

Economy.kif 2109-2109
s__domain(s__annualElectricityExport__m,2,s__PhysicalQuantity)

Economy.kif 2153-2153
s__domain(s__annualElectricityImport__m,2,s__PhysicalQuantity)

Economy.kif 2199-2199
s__domain(s__annualElectricityProduction__m,2,s__PhysicalQuantity)

Economy.kif 1977-1977
s__domain(s__earthAltitude__m,2,s__PhysicalQuantity)

Geography.kif 2707-2707
s__domain(s__electricityConsumptionInPeriod__m,2,s__PhysicalQuantity)

Economy.kif 2099-2099
s__domain(s__electricityExportInPeriod__m,2,s__PhysicalQuantity)

Economy.kif 2142-2142
s__domain(s__electricityImportInPeriod__m,2,s__PhysicalQuantity)

Economy.kif 2187-2187
s__domain(s__electricityProductionInPeriod__m,2,s__PhysicalQuantity)

Economy.kif 1967-1967
s__domain(s__fleetGrossRegisteredTonnage__m,2,s__PhysicalQuantity)

Transportation.kif 933-933
s__domain(s__highAltitudeWindVelocity__m,2,s__PhysicalQuantity)

Weather.kif 240-240
s__domain(s__imageResolution__m,2,s__PhysicalQuantity)

QoSontology.kif 1973-1973
s__domain(s__ingredientAmount__m,3,s__PhysicalQuantity)

Food.kif 119-119
s__domain(s__lowAltitudeWindSpeed__m,2,s__PhysicalQuantity)

Weather.kif 203-203
s__domain(s__lowAltitudeWindVelocity__m,2,s__PhysicalQuantity)

Weather.kif 191-191
s__domain(s__measure__m,2,s__PhysicalQuantity)

Merge.kif 7729-7729
s__domain(s__mediumAltitudeWindVelocity__m,2,s__PhysicalQuantity)

Weather.kif 217-217
s__domain(s__navigableForShippingTonnage__m,2,s__PhysicalQuantity)

Transportation.kif 2544-2544
s__domain(s__resonantFrequency__m,2,s__PhysicalQuantity)

Cars.kif 819-819
s__domain(s__surfaceWindSpeed__m,2,s__PhysicalQuantity)

Weather.kif 125-125
s__domain(s__surfaceWindVelocity__m,2,s__PhysicalQuantity)

Weather.kif 96-96

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__CHART] :
   (s__instance(V__CHART,s__Chart) =>
     (? [V__QUANTITY] :
       (s__instance(V__QUANTITY,s__PhysicalQuantity) &
         s__refers(V__CHART,V__QUANTITY))))
)

Mid-level-ontology.kif 10846-10851
( ! [V__G] :
   (s__instance(V__G,s__Chart) =>
     (? [V__Q] :
       (s__instance(V__Q,s__PhysicalQuantity) &
         s__refers(V__G,V__Q))))
)

Mid-level-ontology.kif 10875-10880


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners