Wind - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3027-3027
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10563-10563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2065-2065
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 839-839
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10561-10561	Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	Wind is a subclass of weather process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1249-1249	Chinook wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1248-1248	Ghibli is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1245	Harmattan wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1246-1246	Khamsin is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1247-1247	Mistral is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1244-1244	Sirocco is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1243-1243	Strong wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63065-63065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63064-63064
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63063-63063

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Weather.kif 327-327

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1273-1294	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,, , 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 the third object and the entity is not overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 73 and the cognitive agent believes the quantity miles per hour(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	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 2 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 quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13787-13792	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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 343-347	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2233-2239	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	If an entity 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 2
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	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

KB Term:			Term intersection

English Word: