WeatherSeason - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 505-508
No TPTP formula. May not be expressible in strict first order.	Weather.kif 503-503	天气季节是天气过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 512-512	厄尔尼诺是天气季节的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 511-511	飓风季节是天气季节的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 510-510	雨季是天气季节的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62619-62619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62618-62618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62617-62617