|
|
  Hawaii
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2925-2927 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6859-6859 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2923-2923 | Siltation e' uma sub-classe de Colocar |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2950-2950 | causesSubclass SoilErosion and Siltation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53090-53090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53089-53089 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53088-53088 |
|
|
|
