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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AntwerpBelgium
AntwerpBelgium(antwerp belgium)
more pictures...
Antwerp, Antwerpen, Anvers

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1441-1441
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4074-4074
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4071-4071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4075-4075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4507-4507
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4072-4072
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3970-3970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4073-4073
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2542-2542 Antwerp belgium is a geographic subregion of belgium
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1440-1440 Antwerp belgium is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2543-2543 Antwerp belgium has name "Antwerp"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7935-7935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7934-7934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7933-7933


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