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 4682-4683
(domain FlowFn 1 FlowRegion) Geography.kif 4679-4679
(instance FlowFn UnaryFunction) Geography.kif 4678-4678
(range FlowFn Motion) Geography.kif 4680-4680

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 24333-24333
(termFormat ChineseTraditionalLanguage FlowFn "流") domainEnglishFormat.kif 24332-24332
(termFormat EnglishLanguage FlowFn "flow") domainEnglishFormat.kif 24331-24331

antecedent
-------------------------


(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (MeasureFn ?NUM KnotUnitOfSpeed))
        (piece ?PART ?FLUID))
    (piece ?PART
        (MeasureFn ?NUM KnotUnitOfSpeed)))
Geography.kif 4691-4695
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (SpeedFn ?LENGTH ?TIME))
        (piece ?PART ?FLUID))
    (piece ?PART
        (SpeedFn ?LENGTH ?TIME)))
Geography.kif 4685-4689
(=>
    (and
        (measure
            (FlowFn ?FLUID)
            (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))
        (piece ?PART ?FLUID))
    (measure ?PART
        (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4697-4701


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