|
|
   WeatherProcess
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11232-11232 | Weather process is disjoint from intentional process |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3017-3018 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11234-11237 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1781-1783 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2061-2061 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8794-8794 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9813-9813 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11231-11231 | Weather process is a subclass of motion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2545-2545 | Atmospheric hazing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 861-861 | Clear weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2467-2467 | Desertification is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2449-2449 | Drought is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2516-2516 | Fog is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2762-2762 | Frosting is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1537-1537 | Heavy zone is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2494-2494 | Icing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3031-3031 | Lightning is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 911-911 | Overcast weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 884-884 | Partly cloudy weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11239-11239 | Precipitation is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2872-2872 | Storm is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 794-794 | Storm system is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3043-3043 | Thunder is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2442-2442 | Tsunami is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 828-828 | Waterspout is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 796-796 | Weather front is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 491-491 | Weather season is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 509-509 | Weather system is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1225-1225 | Wind is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1313-1313 | Zud is a subclass of weather process |
| 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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1170-1170 | The number 1 argument of precipitation state is an instance of weather process |
|
|
|
