|
|
   WeatherProcess
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | 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 11222-11225 | |
| 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 11219-11219 | 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 2558-2558 | Atmospheric hazing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 873-873 | Clear weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2480-2480 | Desertification is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2462-2462 | Drought is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2529-2529 | Fog is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2775-2775 | Frosting is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1550-1550 | Heavy zone is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2507-2507 | Icing is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3038-3038 | Lightning is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 923-923 | Overcast weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 896-896 | Partly cloudy weather is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11227-11227 | Precipitation is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2885-2885 | Storm is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 806-806 | Storm system is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3050-3050 | Thunder is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2455-2455 | Tsunami is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 840-840 | Waterspout is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 808-808 | Weather front is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 503-503 | Weather season is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | Weather system is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1237-1237 | Wind is a subclass of weather process |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1325-1325 | Zud is a subclass of weather process |
| 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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1182-1182 | The number 1 argument of precipitation state is an instance of weather process |
|
|
|
