FlowFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FlowFn

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 4965-4966
(domain FlowFn 1 FlowRegion)	Geography.kif 4962-4962	The number 1 argument of flow is an instance of flow region
(instance FlowFn UnaryFunction)	Geography.kif 4961-4961	Flow is an instance of unary function
(range FlowFn Motion)	Geography.kif 4963-4963	The range of flow is an instance of motion

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 24354-24354
(termFormat ChineseTraditionalLanguage FlowFn "流")	domainEnglishFormat.kif 24353-24353
(termFormat EnglishLanguage FlowFn "flow")	domainEnglishFormat.kif 24352-24352

antecedent

(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 4974-4978	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4968-4972	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))	Geography.kif 4980-4984	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners