No TPTP formula. May not be expressible in strict first order. |
Weather.kif 500-500 |
ElNino e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 499-499 |
HurricaneSeason e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 498-498 |
Monsoon e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62621-62621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62620-62620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62619-62619 |
|