No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | Weather front is a subclass of weather process |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 814-814 | Warm front is a subclass of weather front |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 820-820 | Cold front is a subclass of weather front |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 826-826 | Occluded front is a subclass of weather front |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 832-832 | Stationary front is a subclass of weather front |