Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PhysicalQuantity |  |
| appearance as argument number 1 |
|
|
| (subclass PhysicalQuantity Quantity) | Merge.kif 2135-2135 | |
| (partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 2136-2136 | |
| (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 2138-2153 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6739-6745 | |
| (=> (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 33520-33529 | |
| (=> (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 33548-33562 | |
| (=> (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 33581-33595 |
| consequent |
|
|
| (=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14808-14813 | |
| (=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q)))) |
Mid-level-ontology.kif 14837-14842 | |
| (=> (and (instance ?LIST MeasuringResultList) (inList ?R ?LIST)) (instance ?R PhysicalQuantity)) |
Weather.kif 3070-3074 |
|