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

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 2233-2239
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 1156-1167
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