| PhysicalQuantity(physical quantity) | | N, acid_value, breakage, chlorinity, definite_quantity, frontage, haematocytopenia, half-intensity, heat_barrier, hematocytopenia, indefinite_quantity, limit, limit_point, normality, output, point_of_accumulation, precipitation, production, pulmonary_reserve, 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 |
|
|
| (subclass PhysicalQuantity Quantity) | Merge.kif 2060-2060 | Physical quantity is a subclass of quantity |
| (partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 2061-2061 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
| (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 2063-2078 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
| appearance as argument number 2 |
|
|
| (subclass PerformanceMeasure PhysicalQuantity) | FinancialOntology.kif 1660-1660 | Performance measure is a subclass of physical quantity |
| (subclass ConstantQuantity PhysicalQuantity) | Merge.kif 2080-2080 | Constant quantity is a subclass of physical quantity |
| (subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2135-2135 | Function quantity is a subclass of physical quantity |
| (subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6247-6247 | Unit of measure is a subclass of physical quantity |
| (range MeasureFn PhysicalQuantity) | Merge.kif 6399-6399 | The range of measure is an instance of physical quantity |
| (termFormat EnglishLanguage PhysicalQuantity "physical quantity") | english_format.kif 952-952 | The range of measure is an instance of physical quantity |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6669-6675 | If X is an instance of physical quantity, Y is an instance of unit of measure, and equal X and Z Y(s), then equal the unit of X and Y |
| (=> (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 33594-33603 | If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then Z desires there exists U such that U is an instance of Y, the measure of U is X, and Z possesses U |
| (=> (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 33622-33636 | If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T |
| (=> (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 33655-33669 | If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T |
| consequent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14712-14717 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 14741-14746 | If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
| (=> (and (instance ?LIST MeasuringResultList) (inList ?R ?LIST)) (instance ?R PhysicalQuantity)) |
Weather.kif 3108-3112 | If X is an instance of measuring result list and Y is a member of X, then Y is an instance of physical quantity |
|
|
|