CyclonicStorm(氣旋風暴) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 556-558 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-555 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1082-1082 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 551-551 | 子類 氣旋風暴 and 低壓天氣系統 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | 子類 氣旋風暴 and Storm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | 氣旋風暴 是區域 南部海洋 的 natural 有害類別 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1649-1649 | 子類 龍捲風 and 氣旋風暴 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 605-605 | 子類 TropicalCyclonicSystem and 氣旋風暴 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18276-18276 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18275-18275 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18274-18274 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 600-600 | 域 radiusOfMaximumWind, 1 and 氣旋風暴 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 572-577 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 560-570 |