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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 的区别在于前者附有一个衡量的尺度。") Merge.kif 2117-2125
(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 2101-2116
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2100-2100 物理量 详尽无遗地 partition恒量函数量
(subclass PhysicalQuantity Quantity) Merge.kif 2099-2099 物理量数量subclass

appearance as argument number 2

(range MeasureFn PhysicalQuantity) Merge.kif 6505-6505 计量函数range物理量 的实例
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2127-2127 恒量物理量subclass
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2199-2199 函数量物理量subclass
(subclass PerformanceMeasure PhysicalQuantity) FinancialOntology.kif 1588-1588 PerformanceMeasure物理量subclass
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6333-6333 测量单位物理量subclass
(termFormat ChineseLanguage PhysicalQuantity "物理量") chinese_format.kif 875-875 termFormat ChineseLanguage, 物理量 and "物理量"
(termFormat EnglishLanguage PhysicalQuantity "physical quantity") english_format.kif 686-686 termFormat EnglishLanguage, 物理量 and "physical quantity"
(termFormat JapaneseLanguage PhysicalQuantity "物理量") english_format.kif 687-687 termFormat JapaneseLanguage, 物理量 and "物理量"

appearance as argument number 3

(domain MagnitudeFn 1 PhysicalQuantity) Merge.kif 6791-6791 幅度函数 的 1 数量 是 物理量instance
(domain PerFn 1 PhysicalQuantity) Merge.kif 6834-6834 PerFn 的 1 数量 是 物理量instance
(domain PerFn 2 PhysicalQuantity) Merge.kif 6835-6835 PerFn 的 2 数量 是 物理量instance
(domain UnitFn 1 PhysicalQuantity) Merge.kif 6813-6813 UnitFn 的 1 数量 是 物理量instance
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2109-2109 annualElectricityConsumption 的 2 数量 是 物理量instance
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2153-2153 annualElectricityExport 的 2 数量 是 物理量instance
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2199-2199 annualElectricityImport 的 2 数量 是 物理量instance
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 1977-1977 annualElectricityProduction 的 2 数量 是 物理量instance
(domain carrierFrequency 2 PhysicalQuantity) ComputingBrands.kif 1441-1441 载波频率 的 2 数量 是 物理量instance
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2707-2707 earthAltitude 的 2 数量 是 物理量instance
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2099-2099 electricityConsumptionInPeriod 的 2 数量 是 物理量instance
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2142-2142 electricityExportInPeriod 的 2 数量 是 物理量instance
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2187-2187 electricityImportInPeriod 的 2 数量 是 物理量instance
(domain electricityProductionInPeriod 2 PhysicalQuantity) Economy.kif 1967-1967 electricityProductionInPeriod 的 2 数量 是 物理量instance
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 960-960 fleetGrossRegisteredTonnage 的 2 数量 是 物理量instance
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 240-240 highAltitudeWindVelocity 的 2 数量 是 物理量instance
(domain imageResolution 2 PhysicalQuantity) QoSontology.kif 1989-1989 imageResolution 的 2 数量 是 物理量instance
(domain ingredientAmount 3 PhysicalQuantity) Food.kif 119-119 ingredientAmount 的 3 数量 是 物理量instance
(domain lowAltitudeWindSpeed 2 PhysicalQuantity) Weather.kif 203-203 lowAltitudeWindSpeed 的 2 数量 是 物理量instance
(domain lowAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 191-191 lowAltitudeWindVelocity 的 2 数量 是 物理量instance
(domain measure 2 PhysicalQuantity) Merge.kif 7742-7742 计量 的 2 数量 是 物理量instance
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 217-217 mediumAltitudeWindVelocity 的 2 数量 是 物理量instance
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 2571-2571 navigableForShippingTonnage 的 2 数量 是 物理量instance
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 819-819 resonantFrequency 的 2 数量 是 物理量instance
(domain surfaceWindSpeed 2 PhysicalQuantity) Weather.kif 125-125 surfaceWindSpeed 的 2 数量 是 物理量instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


    (instance ?CHART Chart)
    (exists (?QUANTITY)
            (instance ?QUANTITY PhysicalQuantity)
            (refers ?CHART ?QUANTITY))))
Mid-level-ontology.kif 10846-10851
    (instance ?G Chart)
    (exists (?Q)
            (instance ?Q PhysicalQuantity)
            (refers ?G ?Q))))
Mid-level-ontology.kif 10875-10880

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