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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlowRegion

Sigma KEE - FlowRegion
FlowRegion(流动区域)

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 9045-9059
(subclass FlowRegion Region) Mid-level-ontology.kif 9043-9043 流动区域地区subclass

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


(subclass AirStream FlowRegion) Weather.kif 62-62 气流流动区域subclass
(subclass StreamWaterArea FlowRegion) Mid-level-ontology.kif 9033-9033 溪水区流动区域subclass
(subclass Tide FlowRegion) Geography.kif 4943-4943 浪潮流动区域subclass
(subclass WaterCurrent FlowRegion) Geography.kif 4931-4931 水流流动区域subclass
(termFormat ChineseLanguage FlowRegion "流动区域") domainEnglishFormat.kif 24344-24344
(termFormat ChineseTraditionalLanguage FlowRegion "流動區域") domainEnglishFormat.kif 24343-24343
(termFormat EnglishLanguage FlowRegion "flow region") domainEnglishFormat.kif 24342-24342

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


(domain FlowFn 1 FlowRegion) Geography.kif 4893-4893 的 1 数量 是 流动区域instance
(domain radiusOfMaximumWind 2 FlowRegion) Weather.kif 601-601 最大风速半径 的 2 数量 是 流动区域instance

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


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


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