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 11395-11395
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1792-1792
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. pictureList.kif 2063-2063
No TPTP formula. May not be expressible in strict first order. Merge.kif 11394-11394 Wind is a subclass of gas motion
No TPTP formula. May not be expressible in strict first order. Weather.kif 1476-1476 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 2093-2093 Anabatic wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1659-1659 Chinook wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1723-1723 Fohn wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1539-1539 Harmattan wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 2045-2045 Katabatic wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1607-1607 Khamsin is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1635-1635 Mistral is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1766-1766 Puelche wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1509-1509 Sirocco is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1812-1812 Squall is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1478-1478 Strong wind is a subclass of wind
No TPTP formula. May not be expressible in strict first order. Weather.kif 1848-1848 Wind gust is a subclass of wind
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63093-63093 Wind gust is a subclass of wind
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63092-63092 Wind gust is a subclass of wind
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63091-63091 Wind gust is a subclass of wind

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 315-315 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 1991-2012
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 472-484
No TPTP formula. May not be expressible in strict first order. Weather.kif 337-354
No TPTP formula. May not be expressible in strict first order. Merge.kif 14952-14957

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 331-335
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 2760-2766
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 1318-1329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31716-31724
No TPTP formula. May not be expressible in strict first order. Weather.kif 166-174


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