No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2545-2545 |
AtmosphericHazing e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 861-861 |
ClearWeather e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2467-2467 |
Desertification e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2449-2449 |
Drought e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2516-2516 |
Fogging e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2762-2762 |
Frosting e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1537-1537 |
HeavySurf e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2494-2494 |
Icing e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3031-3031 |
Lightning e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 911-911 |
OvercastWeather e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 884-884 |
PartlyCloudyWeather e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11239-11239 |
Precipitation e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2872-2872 |
Storm e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 794-794 |
StormSystem e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3043-3043 |
Thunder e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2442-2442 |
Tsunami e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 828-828 |
Waterspout e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 796-796 |
WeatherFront e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 491-491 |
WeatherSeason e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 509-509 |
WeatherSystem e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1225-1225 |
Wind e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1313-1313 |
Zud e' uma sub-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 |