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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nicaragua
Nicaragua(nicaragua)
Nicaragua, Republic_of_Nicaragua

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3361-3361 Nicaraguan cordoba is a currency type of nicaragua
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1309-1309
No TPTP formula. May not be expressible in strict first order. Economy.kif 689-689 Developing country is an economy type of nicaragua
No TPTP formula. May not be expressible in strict first order. Economy.kif 305-305 Less developed country is an economy type of nicaragua
No TPTP formula. May not be expressible in strict first order. pictureList.kif 625-625
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 484-484 Nicaragua is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 485-485 Nicaragua is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4119-4119 Nicaragua has name "Nicaragua"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40467-40467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40466-40466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40465-40465

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2782-2782 "NI" in ISO-3166-1-alpha-2 denotes nicaragua


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