Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - City
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 14292-14295
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 14290-14290 Cidade e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Merge.kif 14291-14291 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 6703-6703 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 24814-24814 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 24820-24825 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 8360-8362 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 26627-26635
No TPTP formula. May not be expressible in strict first order. Government.kif 4639-4644
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 24740-24745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24854-24859

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8107-8112 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 1604-1606
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8248-8253


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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