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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PuertoRico
PuertoRico(puerto rico)
Commonwealth_of_Puerto_Rico, PR, Porto_Rico, Puerto_Rico

appearance as argument number 1

(dependentGeopoliticalArea PuertoRico UnitedStates) CountriesAndRegions.kif 3833-3833 Puerto rico is a dependent of united states
(documentation PuertoRico EnglishLanguage "An dependent part of the UnitedStates.") CountriesAndRegions.kif 1161-1161
(externalImage PuertoRico " Country_Maps/ P/ Puerto_Rico.png") pictureList.kif 679-679
(geographicSubregion PuertoRico CaribbeanRegion) CountriesAndRegions.kif 455-455 Puerto rico is a geographic subregion of caribbean region
(instance PuertoRico Archipelago) CountriesAndRegions.kif 1159-1159 Puerto rico is an instance of archipelago
(instance PuertoRico DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3910-3910 Puerto rico is an instance of dependency or special sovereignty area
(part PuertoRico UnitedStates) CountriesAndRegions.kif 1160-1160 Puerto rico is a part of united states

appearance as argument number 2

(names "Puerto Rico" PuertoRico) CountriesAndRegions.kif 4104-4104 Puerto rico has name "Puerto Rico"
(termFormat ChineseLanguage PuertoRico "波多黎各") domainEnglishFormat.kif 48062-48062
(termFormat ChineseTraditionalLanguage PuertoRico "波多黎各") domainEnglishFormat.kif 48061-48061
(termFormat EnglishLanguage PuertoRico "puerto rico") domainEnglishFormat.kif 48060-48060

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "PR" PuertoRico) Media.kif 2874-2874 "PR" in ISO-3166-1-alpha-2 denotes puerto rico

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