Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2210-2210 | Function quantity is a subclass of physical quantity |
| (documentation FunctionQuantity EnglishLanguage "A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself.") | Merge.kif 2212-2220 | Function quantity is a subclass of physical quantity |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (resourceConsumption ?PROC ?QUANT) (instance ?QUANT FunctionQuantity) (resource ?PROC ?RES) (equal ?QUANT (PerFn (MeasureFn ?Q ?U) (MeasureFn ?DC ?DU))) (duration (WhenFn ?PROC) (MeasureFn ?T ?DU)) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?X ?U))) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?RES (MeasureFn ?Y ?U)))) (equal ?Y (MeasureFn (SubtractionFn ?X (MultiplicationFn ?T (DivisionFn ?Q ?DC))) ?U))) |
Mid-level-ontology.kif 18957-18983 | If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s) |
| consequent |
|
|
| (=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 6344-6348 | If X is an instance of Y Z(s) and Z is an instance of composite unit of measure, then X is an instance of function quantity |
| (=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity)) |
Weather.kif 3265-3270 | If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then W is an instance of function quantity |
|