Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlowFn |
| appearance as argument number 1 |
|
| (instance FlowFn UnaryFunction) | Geography.kif 6448-6448 | Flow is an instance of unary function |
| (domain FlowFn 1 FlowRegion) | Geography.kif 6449-6449 | The number 1 argument of flow is an instance of flow region |
| (range FlowFn Motion) | Geography.kif 6450-6450 | The range of flow is an instance of motion |
| (documentation FlowFn EnglishLanguage "(FlowFn ?FLUID) denotes the Motion process associated with the constitutive pieces of the FlowRegion ?FLUID.") | Geography.kif 6452-6453 | The range of flow is an instance of motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 6455-6459 | If the measure of the flow of X is Y per Z and W is a piece of X, then W is a piece of Y per Z |
| (=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 6461-6465 | If the measure of the flow of X is Y knot unit of speed(s) and Z is a piece of X, then Z is a piece of Y knot unit of speed(s) |
| (=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))) |
Geography.kif 6467-6471 | If the measure of the flow of X is Y per Z in W in the direction V and U is a piece of X, then the measure of U is Y per Z in W in the direction V |
|