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
-------------------------


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 11133-11133
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 11131-11131 Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order. Weather.kif 1240-1240 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 1248-1248 Chinook wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1247-1247 Ghibli is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1244-1244 Harmattan wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1245-1245 Khamsin is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1246-1246 Mistral is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1243-1243 Sirocco is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1242-1242 Strong wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63066-63066
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

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 1274-1295
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Merge.kif 14535-14540

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 343-347
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2256-2262
No TPTP formula. May not be expressible in strict first order. Weather.kif 94-99
No TPTP formula. May not be expressible in strict first order. Sports.kif 1232-1243
No TPTP formula. May not be expressible in strict first order. Weather.kif 178-186


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