ElNino
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4674-4674 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 500-500 | 厄尔尼诺 是 天气季节 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21846-21846 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21845-21845 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21844-21844 |