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 capitalCity WarsawPoland and Poland
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 geographicSubregion WarsawPoland and Poland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 801-801 WarsawPoland est une instance de EuropeanCity

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3668-3668 WarsawPoland s'appele nom "Warsaw"
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