| Sublimation | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7106-7107 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7102-7104 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7109-7109 | 子類 Sublimation and StateChange |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7111-7111 | 相關的內部概念 Deposition and Sublimation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7115-7115 | 相關的內部概念 Deposition and Sublimation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7113-7113 | 相關的內部概念 Deposition and Sublimation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7136-7150 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7117-7134 |
|
|
|