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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Peru

 Sigma KEE - Peru
Peru(peru)
Peru, Republic_of_Peru

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3401-3401 Peruvian inti is a currency type of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1322-1322
No TPTP formula. May not be expressible in strict first order. Economy.kif 697-697 Developing country is an economy type of peru
No TPTP formula. May not be expressible in strict first order. Economy.kif 313-313 Less developed country is an economy type of peru
No TPTP formula. May not be expressible in strict first order. pictureList.kif 661-661
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 524-524 Peru is a geographic subregion of western south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 525-525 Peru is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2544-2544 Apumirac peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2578-2578 Ayacucho peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2760-2760 Cuzco peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2935-2935 Huallga peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2974-2974 Jangas peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3124-3124 Lima peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3417-3417 Ramal de aspusana peru is a geographic subregion of peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4140-4140 Peru has name "Peru"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45354-45354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45353-45353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45352-45352

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2791-2791 "PE" in ISO-3166-1-alpha-2 denotes peru


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