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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IstanbulTurkey

 Sigma KEE - IstanbulTurkey
IstanbulTurkey(伊斯坦布尔，土耳其)
more pictures...

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 伊斯坦布尔，土耳其 是 火鸡 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1814-1814 伊斯坦布尔，土耳其 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2956-2956 伊斯坦布尔，土耳其 的名 是 "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