| No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | Low pressure weather system is a subclass of weather system |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 551-551 | Cyclonic storm is a subclass of low pressure weather system |
|
|