|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1442-1442 | ApumiracPeru e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1444-1444 | ApureVenezuela e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1446-1446 | AraucaColombia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1448-1448 | ArgunRussia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1450-1450 | ArielWestBank e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1452-1452 | ArmaghNorthernIreland e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1454-1454 | ArzewAlgeria e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1456-1456 | AshdodIsrael e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1458-1458 | AskelonIsrael e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1460-1460 | AsmaraEritrea e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1462-1462 | AssamIndia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1464-1464 | AswanEgypt e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1466-1466 | AsyutEgypt e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1468-1468 | AthensGreece e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1470-1470 | AtrushIraq e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1472-1472 | AtzmonaGazaStrip e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1474-1474 | AvneiHefetzIsrael e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1476-1476 | AyacuchoPeru e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1478-1478 | AzorIsrael e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1480-1480 | BKaotWestBank e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1482-1482 | BadVilbelGermany e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1484-1484 | BaghdadIraq e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1486-1486 | BagreColombia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1488-1488 | BahawalpurPakistan e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | BakaAlGarbiyehIsrael e' uma instancia de Cidade |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners