| FlowRegion | | 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 10246-10260 | |
| (subclass FlowRegion Region) | Mid-level-ontology.kif 10244-10244 | FlowRegion is a subclass of region |
| appearance as argument number 2 |
|
|
| (subclass AirStream FlowRegion) | Weather.kif 62-62 | AirStream is a subclass of FlowRegion |
| (subclass StreamWaterArea FlowRegion) | Mid-level-ontology.kif 10234-10234 | Stream water area is a subclass of FlowRegion |
| (subclass Tide FlowRegion) | Geography.kif 6509-6509 | Tide is a subclass of FlowRegion |
| (subclass WaterCurrent FlowRegion) | Geography.kif 6497-6497 | WaterCurrent is a subclass of FlowRegion |
| (termFormat ChineseLanguage FlowRegion "流动区域") | domainEnglishFormat.kif 24348-24348 | WaterCurrent is a subclass of FlowRegion |
| (termFormat ChineseTraditionalLanguage FlowRegion "流動區域") | domainEnglishFormat.kif 24347-24347 | WaterCurrent is a subclass of FlowRegion |
| (termFormat EnglishLanguage FlowRegion "flow region") | domainEnglishFormat.kif 24346-24346 | WaterCurrent is a subclass of FlowRegion |
| appearance as argument number 3 |
|
|
| (domain FlowFn 1 FlowRegion) | Geography.kif 6459-6459 | The number 1 argument of FlowFn is an instance of FlowRegion |
| (domain radiusOfMaximumWind 2 FlowRegion) | Weather.kif 1042-1042 | The number 2 argument of radiusOfMaximumWind is an instance of FlowRegion |
| antecedent |
|
|
| (=> (and (instance ?FR FlowRegion) (located ?FLUID ?FR)) (attribute ?FLUID Fluid)) |
Mid-level-ontology.kif 10262-10266 |
|
|
|
|