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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Peru

 Sigma KEE - Peru
Peru

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3401-3401 currencyType Peru and PeruvianInti
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 economyType Peru and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 313-313 economyType Peru and LessDevelopedCountry
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 geographicSubregion Peru and WesternSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 525-525 Peru est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2544-2544 geographicSubregion ApumiracPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2578-2578 geographicSubregion AyacuchoPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2760-2760 geographicSubregion CuzcoPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2935-2935 geographicSubregion HuallgaPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2974-2974 geographicSubregion JangasPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3124-3124 geographicSubregion LimaPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3417-3417 geographicSubregion RamalDeAspusanaPeru and Peru
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4140-4140 Peru s'appele nom "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 codeMapping ISO-3166-1-alpha-2, "PE" and 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