|
|
  BeledweyneSomalia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1537-1537 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2634-2634 | geographicSubregion BeledweyneSomalia and Somalia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1536-1536 | BeledweyneSomalia e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2635-2635 | BeledweyneSomalia se chama nome "Beledweyne" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10637-10637 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10636-10636 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10635-10635 |
|
|
|