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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chile
Chile(chile)
Chile, Republic_of_Chile

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3079-3079 Chilean peso is a currency type of chile
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. Economy.kif 627-627 Developing country is an economy type of chile
No TPTP formula. May not be expressible in strict first order. Economy.kif 248-248 Less developed country is an economy type of chile
No TPTP formula. May not be expressible in strict first order. pictureList.kif 339-339
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 515-515 Chile is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 516-516 Chile is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 Chile is a claimed territory of antarctica
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 4134-4134 Chile has name "Chile"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14499-14499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14498-14498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14497-14497

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2664-2664 "CL" in ISO-3166-1-alpha-2 denotes chile


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