| ElNino(el nino)
|
| 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 | El nino is a subclass of weather season |
| 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 |
|
|
|