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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DarEsSalaAmTanzania
DarEsSalaAmTanzania(dar es sala am tanzania)
Dar_es_Salaam, capital_of_Tanzania

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1655-1655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5724-5724
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5725-5725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5727-5727
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5726-5726
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2769-2769 Dar es sala am tanzania is a geographic subregion of tanzania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1654-1654 Dar es sala am tanzania is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2770-2770 Dar es sala am tanzania has name "Dar es Sala'am"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18522-18522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18521-18521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18520-18520


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