FlowFn |
appearance as argument number 1 |
(documentation FlowFn EnglishLanguage "(FlowFn ?FLUID) denotes the Motion process associated with the constitutive pieces of the FlowRegion ?FLUID.") | Geography.kif 4896-4897 | |
(domain FlowFn 1 FlowRegion) | Geography.kif 4893-4893 | |
(instance FlowFn UnaryFunction) | Geography.kif 4892-4892 | |
(range FlowFn Motion) | Geography.kif 4894-4894 |
appearance as argument number 2 |
(format ChineseLanguage FlowFn "%1 的 flow ") | domainEnglishFormat.kif 1069-1069 | |
(format ChineseTraditionalLanguage FlowFn "%1 的 flow ") | domainEnglishFormat.kif 1068-1068 | |
(format EnglishLanguage FlowFn "the flow of %1") | domainEnglishFormat.kif 1067-1067 | |
(termFormat ChineseLanguage FlowFn "流") | domainEnglishFormat.kif 24338-24338 | |
(termFormat ChineseTraditionalLanguage FlowFn "流") | domainEnglishFormat.kif 24337-24337 | |
(termFormat EnglishLanguage FlowFn "flow") | domainEnglishFormat.kif 24336-24336 |
antecedent |
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 4905-4909 | |
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 4899-4903 | |
(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))) |
Geography.kif 4911-4915 |