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

VerbNet: run-51.3.2|float, weather-57|blow, run-51.3.2|float, run-51.3.2|float,

appearance as argument number 1

(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。")	chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.")	Merge.kif 10495-10495
(externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model-wingtip-vortex.jpg")	pictureList.kif 2065-2065
(externalImage Wind "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ wind.png")	pictureList.kif 839-839
(subclass Wind GasMotion)	Merge.kif 10493-10493	Wind is a subclass of gas motion
(subclass Wind WeatherProcess)	Weather.kif 867-867	Wind is a subclass of weather process

appearance as argument number 2

(subclass ChinookWind Wind)	Weather.kif 875-875	Chinook wind is a subclass of wind
(subclass Ghibli Wind)	Weather.kif 874-874	Ghibli is a subclass of wind
(subclass HarmattanWind Wind)	Weather.kif 871-871	Harmattan wind is a subclass of wind
(subclass Khamsin Wind)	Weather.kif 872-872	Khamsin is a subclass of wind
(subclass Mistral Wind)	Weather.kif 873-873	Mistral is a subclass of wind
(subclass Sirocco Wind)	Weather.kif 870-870	Sirocco is a subclass of wind
(subclass StrongWind Wind)	Weather.kif 869-869	Strong wind is a subclass of wind
(subclass Windstorm Wind)	Weather.kif 868-868	Windstorm is a subclass of wind
(termFormat ChineseLanguage Wind "风")	domainEnglishFormat.kif 62986-62986
(termFormat ChineseLanguage Wind "风过程")	domainEnglishFormat.kif 63022-63022
(termFormat ChineseTraditionalLanguage Wind "風")	domainEnglishFormat.kif 62985-62985
(termFormat ChineseTraditionalLanguage Wind "風過程")	domainEnglishFormat.kif 63021-63021
(termFormat EnglishLanguage Wind "wind")	domainEnglishFormat.kif 63020-63020

antecedent

(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30) (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 902-923	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 the other process, a transfer,, , an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 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 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 entity is an instance of land area and the transfer ends up at the entity and overlaps spatially the third object and the entity
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 115-120	If a region is an instance of object and an object is an instance of wind and the measure of the object 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
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 13725-13730	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 BeaufortNumber) (attribute ?OBJECT ?BN)) (instance ?OBJECT Wind))	Weather.kif 312-316	If an attribute is an instance of beaufort number and the attribute is an attribute of an object, then the object 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 105-113	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 WindFlow, 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 2753-2759	If a physical is an instance of fan device, then the physical 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 84-89	If an entity is an instance of WindFlow, then there exists a process such that the process is an instance of wind and the process is located at 2
(=> (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 1156-1167	If a process is an instance of wind surfing, then there exist an object, an entity,, , another process and a third process such that the object is an instance of wind surfing board and the entity 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 2 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
(=> (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 165-173	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners