Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlowFn

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 4896-4897
(domain FlowFn 1 FlowRegion) Geography.kif 4893-4893 的 1 数量 是 流动区域instance
(instance FlowFn UnaryFunction) Geography.kif 4892-4892 一元函数instance
(range FlowFn Motion) Geography.kif 4894-4894 range运动 的实例

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


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 is open source software produced by Articulate Software and its partners