Wind - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Wind

Wind(wind)

Santa_Ana, air, air_current, be_adrift, blast, blow, breeze, catabatic_wind, current_of_air, drift, float, foehn, fohn, gale, gentle_wind, gust, high_wind, katabatic_wind, khamsin, prevailing_westerly, south_wind, souther, southerly, waft, west_wind, wester, westerly, whirlwind, wind, zephyr

appearance as argument number 1

(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。")	chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.")	Merge.kif 11395-11395
(documentation Wind JapaneseLanguage "Air の任意の Motion。")	japanese_format.kif 1792-1792
(externalImage Wind "http://articulatesoftware.com/SUMOpictures/weather/ wind.png")	pictureList.kif 839-839
(externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model_wingtip_vortex.jpg")	pictureList.kif 2063-2063
(subclass Wind GasMotion)	Merge.kif 11394-11394	Wind is a subclass of gas motion
(subclass Wind WeatherProcess)	Weather.kif 1476-1476	Wind is a subclass of weather process

appearance as argument number 2

(subclass ChinookWind Wind)	Weather.kif 1659-1659	Chinook wind is a subclass of wind
(subclass FohnWind Wind)	Weather.kif 1723-1723	FohnWind is a subclass of wind
(subclass HarmattanWind Wind)	Weather.kif 1539-1539	Harmattan wind is a subclass of wind
(subclass KatabaticWind Wind)	Weather.kif 2045-2045	KatabaticWind is a subclass of wind
(subclass Khamsin Wind)	Weather.kif 1607-1607	Khamsin is a subclass of wind
(subclass Mistral Wind)	Weather.kif 1635-1635	Mistral is a subclass of wind
(subclass PuelcheWind Wind)	Weather.kif 1766-1766	PuelcheWind is a subclass of wind
(subclass Sirocco Wind)	Weather.kif 1509-1509	Sirocco is a subclass of wind
(subclass Squall Wind)	Weather.kif 1812-1812	Squall is a subclass of wind
(subclass StrongWind Wind)	Weather.kif 1478-1478	Strong wind is a subclass of wind
(subclass WindGust Wind)	Weather.kif 1848-1848	Wind gust is a subclass of wind
(termFormat ChineseLanguage Wind "风")	domainEnglishFormat.kif 63093-63093	Wind gust is a subclass of wind
(termFormat ChineseTraditionalLanguage Wind "風")	domainEnglishFormat.kif 63092-63092	Wind gust is a subclass of wind
(termFormat EnglishLanguage Wind "wind")	domainEnglishFormat.kif 63091-63091	Wind gust is a subclass of wind

appearance as argument number 3

(domain windDrivenMotion 1 Wind)

Weather.kif 315-315

The number 1 argument of wind driven motion is an instance of wind

antecedent

(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1991-2012	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	If a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 472-484	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U))))))	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14952-14957	If a process is an instance of wind, then there exists an entity such that the entity is a patient of the process and the entity is an instance of air

consequent

(=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind))	Weather.kif 331-335	If an attribute is an instance of Beaufort number attribute and an entity the attribute the attribute, then the entity is an instance of wind
(=> (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 ?F FanDevice) (hasPurpose ?F (exists (?W) (and (instance ?W Wind) (instrument ?W ?F)))))	Mid-level-ontology.kif 2760-2766	If a physical is an instance of fan device, then the physical has the purpose there exists an entity such that the entity is an instance of wind and the physical is an instrument for the entity
(=> (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
(=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION))))	Sports.kif 1318-1329	If a process is an instance of wind surfing, then there exist an object, another object,, , another process and a third process such that the object is an instance of wind surfing board and the other object is an instance of water area and the third process is an instance of wind and the other process is an instance of motion and the process is located at the other object and the other process is a subprocess of the process and the object is an instrument for the other process and the third process causes the other process
(=> (orientation ?O1 ?O2 Downwind) (exists (?W ?T ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1))))	Mid-level-ontology.kif 31716-31724	If an object is downwind to another object, then there exist an entity, a transfer and a third object such that the entity is an instance of wind and the third object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the third object during the transfer and the transfer ends up at the object
(=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR))))	Weather.kif 166-174	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

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