| No TPTP formula. May not be expressible in strict first order. | Weather.kif 10-10 | Atmosphere is a subclass of region |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 11-11 | Atmosphere is a subclass of the class corresponding to fluid |
|
|