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 | 子類 厄爾尼諾 and 天氣季節 |
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 |