| PhysicalQuantity | |
| appearance as argument number 1 |
|
|
| (documentation PhysicalQuantity ChineseLanguage "PhysicalQuantity是一种用来衡量建模世界上的 一些可以量度的部分，例如：「地球的直径」（长度固定）和「装满了可变形的固体的应力」（应力的衡量，它是一个有 三个空间坐标的函数）。 PhysicalQuantity 要不是 ConstantQuantity，就是 FunctionQuantity。 ConstantQuantity 的实例需要有一个 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 1968-1983 | |
| (partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 1966-1966 | |
| (subclass PhysicalQuantity Quantity) | Merge.kif 1965-1965 |
| appearance as argument number 2 |
|
|
| (range MeasureFn PhysicalQuantity) | Merge.kif 6254-6254 | |
| (subclass ConstantQuantity PhysicalQuantity) | Merge.kif 1985-1985 | |
| (subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2040-2040 | |
| (subclass PerformanceMeasure PhysicalQuantity) | FinancialOntology.kif 1643-1643 | |
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6102-6102 | |
| (termFormat ChineseLanguage PhysicalQuantity "物理量") | chinese_format.kif 875-875 | |
| (termFormat EnglishLanguage PhysicalQuantity "physical quantity") | english_format.kif 952-952 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6524-6530 | |
| (=> (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 30369-30383 | |
| (=> (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 30308-30317 | |
| (=> (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 30336-30350 |
| 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 12705-12710 | |
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 12734-12739 |
|
|
|