Sublimation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7038-7039 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7034-7036 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7041-7041 | Sublimation e' uma sub-classe de Mudanca de Estado |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7043-7043 | Deposition e' relacionado internamente por SUMO a Sublimation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7047-7047 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7045-7045 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7068-7082 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7049-7066 |
|