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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SantiagoChile

 Sigma KEE - SantiagoChile
SantiagoChile(santiago chile)
Gran_Santiago, Santiago, Santiago_de_Chile, capital_of_Chile

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2298-2298
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1329-1329
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3499-3499 Santiago chile is a geographic subregion of chile
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2297-2297 Santiago chile is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3500-3500 Santiago chile has name "Santiago"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51209-51209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51208-51208
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51207-51207


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