WindFlow - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WindFlow EnglishLanguage "WindFlow is the class of variable AirStreams that are in the EarthsAtmosphere. It is also known as air currents which are concentrated areas of winds.")	Weather.kif 84-86
(subclass WindFlow AirStream)	Weather.kif 82-82	Wind flow is a subclass of air stream

appearance as argument number 2

(termFormat ChineseLanguage WindFlow "大气气流")	Weather.kif 88-88
(termFormat EnglishLanguage WindFlow "wind flow")	Weather.kif 87-87

antecedent

(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME)))	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
(=> (and (instance ?ZEPHYR WindFlow) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD)) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 182-187	If a physical is an instance of wind flow and the measure of the physical is a length measure per a time duration in a region in the direction an entity-TOWARD and the entity-FROM is an opposite direction of the entity-TOWARD, then the entity-FROM is a surface wind direction of the region
(=> (and (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION) (instance ?PLACE WindFlow)) (exists (?BLOW) (and (instance ?BLOW Wind) (eventPartlyLocated ?BLOW ?PLACE) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))))	Weather.kif 115-123	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
(=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere))	Weather.kif 90-92	If a physical is an instance of wind flow, then the physical is located at earths atmosphere
(=> (instance ?R WindFlow) (exists (?WIND) (and (instance ?WIND Wind) (eventLocated ?WIND ?R))))	Weather.kif 94-99	If an object is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is located at the object

consequent

(=>
    (instance ?WS WeatherSystem)
    (exists (?MOVE ?WF)
        (and
            (instance ?MOVE Translocation)
            (instance ?WF WindFlow)
            (patient ?MOVE ?WF)
            (subProcess ?MOVE ?WS))))

Weather.kif 511-518

If a process is an instance of weather system,
then there exist another process and an entity such that the other process is an instance of translocation and the entity is an instance of wind flow and the entity is a patient of the other process and the other process is a subprocess of the process

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

KB Term:			Term intersection

English Word: