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