No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | Weather system is a subclass of weather process |
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 796-796 | High pressure weather system is a subclass of weather system |