No TPTP formula. May not be expressible in strict first order. |
Weather.kif 512-512 |
ElNino e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 511-511 |
HurricaneSeason e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 510-510 |
Monsoon e' uma sub-classe de WeatherSeason |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62619-62619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62618-62618 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62617-62617 |
|