|
|
   SpinalCord
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6988-6989 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6984-6986 | |
| 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 6991-6991 | Deposition e' uma sub-classe de Mudanca de Estado |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2778-2778 | Frosting e' uma sub-classe de Deposition |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6995-6995 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6993-6993 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7016-7030 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 |
|
|
|
|