|
|
   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 | ElNino e' uma sub-classe de WeatherSeason |
| 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 |
|
|
|
