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