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 |
![]() |
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 |
|
![]() |
![]() |