No TPTP formula. May not be expressible in strict first order. |
Weather.kif 512-512 |
El nino is a subclass of weather season |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 511-511 |
Hurricane season is a subclass of weather season |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 510-510 |
Monsoon is a subclass of weather season |
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 |
|