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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IstanbulTurkey

 Sigma KEE - IstanbulTurkey
IstanbulTurkey(istanbul turkey)
more pictures...		Constantinople, Istanbul, Stamboul, Stambul

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1815-1815
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4992-4992
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4884-4884
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4991-4991
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4744-4744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4993-4993
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2955-2955 Istanbul turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1814-1814 Istanbul turkey is an instance of city

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2956-2956 Istanbul turkey has name "Istanbul"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31207-31207
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31206-31206
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31205-31205


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

Show without tree


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