| City(Cidade)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3350-3351 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14268-14271 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 193-193 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 853-853 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | Cidade e' uma sub-classe de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | Cidade e' uma sub-classe de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1392-1392 | AdanaTurkey e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1394-1394 | AddisAbabaEthiopia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1396-1396 | AdenYemen e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1398-1398 | AdoraWestBank e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1400-1400 | AfulaIsrael e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1402-1402 | AgriTurkey e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1404-1404 | AinDeflaAlgeria e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1406-1406 | AinElHajarAlgeria e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1408-1408 | AjaccioFrance e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1410-1410 | AlBalamandLebanon e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1412-1412 | AleiSinaiGazaStrip e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1414-1414 | AleiZahavWestBank e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1416-1416 | AleyLebanon e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1418-1418 | AlgiersAlgeria e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1420-1420 | AlkhanYurtRussia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1422-1422 | AlonMorehWestBank e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1424-1424 | AmbonIndonesia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1426-1426 | AmmanJordan e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1428-1428 | AnNuwaydiratBahrain e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1430-1430 | AndeanSpain e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1432-1432 | AngkorWatCambodia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1434-1434 | AnkaraTurkey e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1436-1436 | AntalyaTurkey e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1438-1438 | AntioquiaColombia e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1440-1440 | AntwerpBelgium e' uma instancia de Cidade |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6708-6708 | O argumento numero 3 de StreetAddressFn e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 375-375 | O argumento numero 1 de capitalCity e' uma instancia de Cidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24756-24756 | O argumento numero 2 de postCity e' uma instancia de Cidade |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24762-24767 | PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8332-8334 | Area Geopolitica e' uma instancia de Cidade o governo de Area Geopolitica e' uma instancia de CityGovernment |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26582-26590 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4675-4680 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 59-65 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24682-24687 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24796-24801 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8079-8084 | Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1640-1642 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8220-8225 |
|
|
|