No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2545-2545 |
AtmosphericHazing est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 861-861 |
ClearWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2467-2467 |
Desertification est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2449-2449 |
Drought est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2516-2516 |
Fogging est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2762-2762 |
Frosting est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1537-1537 |
HeavySurf est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2494-2494 |
Icing est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3031-3031 |
Lightning est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 911-911 |
OvercastWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 884-884 |
PartlyCloudyWeather est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11239-11239 |
Precipitation est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2872-2872 |
Storm est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 794-794 |
StormSystem est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3043-3043 |
Thunder est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2442-2442 |
Tsunami est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 828-828 |
Waterspout est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 796-796 |
WeatherFront est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 491-491 |
WeatherSeason est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 509-509 |
WeatherSystem est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1225-1225 |
Wind est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1313-1313 |
Zud est une sous-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62615-62615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62614-62614 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62613-62613 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |