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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1974-1989
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1972-1972 partition PhysicalQuantity, ConstantQuantity and FunctionQuantity
(subclass PhysicalQuantity Quantity) Merge.kif 1971-1971 subclass PhysicalQuantity and Quantity

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


(range MeasureFn PhysicalQuantity) Merge.kif 6260-6260 range MeasureFn and PhysicalQuantity
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 1991-1991 subclass ConstantQuantity and PhysicalQuantity
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2046-2046 subclass FunctionQuantity and PhysicalQuantity
(subclass PerformanceMeasure PhysicalQuantity) FinancialOntology.kif 1643-1643 subclass PerformanceMeasure and PhysicalQuantity
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6108-6108 subclass UnitOfMeasure and PhysicalQuantity
(termFormat ChineseLanguage PhysicalQuantity "物理量") chinese_format.kif 875-875
(termFormat EnglishLanguage PhysicalQuantity "physical quantity") english_format.kif 952-952

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


(domain PerFn 1 PhysicalQuantity) Merge.kif 6540-6540 domain PerFn, 1 and PhysicalQuantity
(domain PerFn 2 PhysicalQuantity) Merge.kif 6541-6541 domain PerFn, 2 and PhysicalQuantity
(domain UnitFn 1 PhysicalQuantity) Merge.kif 6521-6521 domain UnitFn, 1 and PhysicalQuantity
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2116-2116 domain annualElectricityConsumption, 2 and PhysicalQuantity
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2160-2160 domain annualElectricityExport, 2 and PhysicalQuantity
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2206-2206 domain annualElectricityImport, 2 and PhysicalQuantity
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 1984-1984 domain annualElectricityProduction, 2 and PhysicalQuantity
(domain barometricPressure 2 PhysicalQuantity) Merge.kif 7727-7727 domain barometricPressure, 2 and PhysicalQuantity
(domain carrierFrequency 2 PhysicalQuantity) ComputingBrands.kif 1517-1517 domain 搬送波周波数, 2 and PhysicalQuantity
(domain diastolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 9972-9972 domain diastolicBloodPressure, 2 and PhysicalQuantity
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2782-2782 domain earthAltitude, 2 and PhysicalQuantity
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2106-2106 domain electricityConsumptionInPeriod, 2 and PhysicalQuantity
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2149-2149 domain electricityExportInPeriod, 2 and PhysicalQuantity
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2194-2194 domain electricityImportInPeriod, 2 and PhysicalQuantity
(domain electricityProductionInPeriod 2 PhysicalQuantity) Economy.kif 1974-1974 domain electricityProductionInPeriod, 2 and PhysicalQuantity
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986 domain fleetGrossRegisteredTonnage, 2 and PhysicalQuantity
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 252-252 domain highAltitudeWindVelocity, 2 and PhysicalQuantity
(domain imageResolution 2 PhysicalQuantity) QoSontology.kif 2006-2006 domain imageResolution, 2 and PhysicalQuantity
(domain ingredientAmount 3 PhysicalQuantity) Food.kif 52-52 domain ingredientAmount, 3 and PhysicalQuantity
(domain lowAltitudeWindSpeed 2 PhysicalQuantity) Weather.kif 215-215 domain lowAltitudeWindSpeed, 2 and PhysicalQuantity
(domain lowAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 203-203 domain lowAltitudeWindVelocity, 2 and PhysicalQuantity
(domain measure 2 PhysicalQuantity) Merge.kif 7413-7413 domain measure, 2 and PhysicalQuantity
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 229-229 domain mediumAltitudeWindVelocity, 2 and PhysicalQuantity
(domain navigableForShippingTonnage 2 PhysicalQuantity) Transportation.kif 2637-2637 domain navigableForShippingTonnage, 2 and PhysicalQuantity
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 829-829 domain resonantFrequency, 2 and PhysicalQuantity

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 6530-6536
(=>
    (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 30373-30387
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G ?O)
                (measure ?O ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30312-30321
(=>
    (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 30340-30354

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


(=>
    (and
        (instance ?LIST MeasuringResultList)
        (inList ?R ?LIST))
    (instance ?R PhysicalQuantity))
Weather.kif 1783-1787
(=>
    (instance ?CHART Chart)
    (exists (?QUANTITY)
        (and
            (instance ?QUANTITY PhysicalQuantity)
            (refers ?CHART ?QUANTITY))))
Mid-level-ontology.kif 12709-12714
(=>
    (instance ?G Chart)
    (exists (?Q)
        (and
            (instance ?Q PhysicalQuantity)
            (refers ?G ?Q))))
Mid-level-ontology.kif 12738-12743


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