| Hailing(hailing)
| | hail, hailing, 下冰雹 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 795-796 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 792-793 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 987-987 | "http://upload.wikimedia.org/wikipedia/commons/1/16/ Hailstorm.jpg" is a URL depicting hailing |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 790-790 | Hailing is a subclass of precipitation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 800-800 | "下冰雹" is the printable form of hailing in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4953-4953 | "hailing" is the printable form of hailing in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 802-804 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1541-1548 |
|
|
|
|