Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  FlowFn

 Sigma KEE - FlowFn
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
-------------------------


(format EnglishLanguage FlowFn "the flow of %1") domainEnglishFormat.kif 1067-1067
(format ChineseTraditionalLanguage FlowFn "%1 的 flow ") domainEnglishFormat.kif 1068-1068
(format ChineseLanguage FlowFn "%1 的 flow ") domainEnglishFormat.kif 1069-1069
(termFormat EnglishLanguage FlowFn "flow") domainEnglishFormat.kif 24334-24334
(termFormat ChineseTraditionalLanguage FlowFn "流") domainEnglishFormat.kif 24335-24335
(termFormat ChineseLanguage FlowFn "流") domainEnglishFormat.kif 24336-24336

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners