VolcanicEruption(火山爆发) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2433-2434 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3272-3272 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3028-3028 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3273-3273 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3270-3270 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2431-2431 | 火山爆发 是 地质过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6768-6768 | 火山气释放 是 火山爆发 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61893-61893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61892-61892 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61891-61891 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2443-2448 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2436-2441 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4071-4076 |