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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlowRegion
FlowRegion(flow region)airstream, backwash, race, slipstream, wash

appearance as argument number 1
-------------------------


(documentation FlowRegion EnglishLanguage "FlowRegion is a class of things whose boundaries are relatively stable but whose constitutive material is continuously moving through the region itself and being replaced by other, similar material. Each FlowRegion is constituted by a stream of matter moving as a whole. A FlowRegion may be liquid or gaseous. A wind may be considered as a Process or as a FlowRegion, similarly an OceanCurrent or a WaterWave. The motion process associated with a FlowRegion F is denoted by (FlowFn F). Note that certain properties belong to the FlowRegion itself (e.g., mass, length, volume, temperature, and speed or velocity of the region moving as a whole), while other properties of interest belong to the Motion of its constitutive stuff (e.g., velocity, direction). The motion of a FlowRegion as a whole (e.g., JetStream moves within the atmosphere) is distinguished from the motion of the pieces of stuff constituting the FlowRegion. See FlowFn and FlowRegionFn.") Mid-level-ontology.kif 8652-8666
(subclass FlowRegion Region) Mid-level-ontology.kif 8650-8650 Flow region is a subclass of region

appearance as argument number 2
-------------------------


(subclass AirStream FlowRegion) Weather.kif 62-62 Air stream is a subclass of flow region
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 8640-8640 Stream water area is a subclass of flow region
(subclass Tide FlowRegion) Geography.kif 4841-4841 Tide is a subclass of flow region
(subclass WaterCurrent FlowRegion) Geography.kif 4829-4829 Water current is a subclass of flow region
(termFormat ChineseLanguage FlowRegion "流动区域") domainEnglishFormat.kif 24339-24339
(termFormat ChineseTraditionalLanguage FlowRegion "流動區域") domainEnglishFormat.kif 24338-24338
(termFormat EnglishLanguage FlowRegion "flow region") domainEnglishFormat.kif 24337-24337

appearance as argument number 3
-------------------------


(domain FlowFn 1 FlowRegion) Geography.kif 4791-4791 The number 1 argument of flow is an instance of flow region
(domain radiusOfMaximumWind 2 FlowRegion) Weather.kif 601-601 The number 2 argument of radius of maximum wind is an instance of flow region

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))
Mid-level-ontology.kif 8668-8672


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