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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WarsawPoland

 Sigma KEE - WarsawPoland
WarsawPoland(華沙波蘭)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 802-802 波蘭 是 華沙波蘭 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 803-803
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4454-4454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4451-4451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4452-4452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4062-4062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4456-4456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4455-4455
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4453-4453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4458-4458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4450-4450
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4459-4459
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3667-3667 華沙波蘭 是 波蘭 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 801-801 例 華沙波蘭 and 歐洲城市

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3668-3668 名 "Warsaw" and 華沙波蘭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62235-62235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62234-62234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62233-62233


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