No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2558-2558 |
AtmosphericHazing est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 873-873 |
ClearWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2480-2480 |
Desertification est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2462-2462 |
Drought est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2529-2529 |
Fogging est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2775-2775 |
Frosting est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1550-1550 |
HeavySurf est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2507-2507 |
Icing est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3038-3038 |
Lightning est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 923-923 |
OvercastWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 896-896 |
PartlyCloudyWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11227-11227 |
Precipitation est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2885-2885 |
Storm est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 806-806 |
StormSystem est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3050-3050 |
Thunder est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2455-2455 |
Tsunami est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 840-840 |
Waterspout est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 808-808 |
WeatherFront est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 503-503 |
WeatherSeason est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 521-521 |
WeatherSystem est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1237-1237 |
Wind est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1325-1325 |
Zud est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62613-62613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62612-62612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62611-62611 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |