| 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 512-512 | 厄尔尼诺 是 天气季节 的 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 |
|
|
|