DustStorm
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1253-1255 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1250-1252 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 402-402 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1249-1249 | 尘暴 是 风暴 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1306-1306 | 雷沙暴 是 尘暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1294-1294 | 沙暴 是 尘暴 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20718-20718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20717-20717 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20716-20716 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2596-2604 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1271-1292 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1257-1269 |