| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | WeatherProcess e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 503-503 | WeatherSeason e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | WeatherSystem e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 806-806 | StormSystem e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | WeatherFront e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 840-840 | Waterspout e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 873-873 | ClearWeather e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 896-896 | PartlyCloudyWeather e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 923-923 | OvercastWeather e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1237-1237 | Wind e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1325-1325 | Zud e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1550-1550 | HeavySurf e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2455-2455 | Tsunami e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2462-2462 | Drought e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2480-2480 | Desertification e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2507-2507 | Icing e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2529-2529 | Fogging e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2558-2558 | AtmosphericHazing e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2775-2775 | Frosting e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2885-2885 | Storm e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3038-3038 | Lightning e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3050-3050 | Thunder e' uma sub-classe de WeatherProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11227-11227 | Precipitation e' uma sub-classe de WeatherProcess |
|
|