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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' uma instancia de Nacao

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 se chama nome "Peru"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45356-45356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45355-45355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45354-45354

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 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