|
|
  ShimiEcuador
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2320-2320 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5175-5175 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5506-5506 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3521-3521 | geographicSubregion ShimiEcuador and Ecuador |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2319-2319 | ShimiEcuador e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3522-3522 | ShimiEcuador se chama nome "Shimi" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52581-52581 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52580-52580 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52579-52579 |
|
|
|
