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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pennsylvania
Pennsylvania(pennsylvania)
Keystone_State, PA, Pennsylvania

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


(documentation Pennsylvania EnglishLanguage "A mid-Atlantic AmericanState. Its two major cities are PhiladelphiaPennsylvania and PittsburghPennsylvania.") CountriesAndRegions.kif 1086-1087
(externalImage Pennsylvania "http://articulatesoftware.com/SUMOpictures/ geography/ US_States/ pennsylvania.png") pictureList.kif 660-660
(instance Pennsylvania AmericanState) CountriesAndRegions.kif 1085-1085 Pennsylvania is an instance of american state
(meetsSpatially Pennsylvania Canada) CountriesAndRegions.kif 1090-1090 Pennsylvania meets canada
(meetsSpatially Pennsylvania Ohio) CountriesAndRegions.kif 1089-1089 Pennsylvania meets ohio
(meetsSpatially Pennsylvania WestVirginia) CountriesAndRegions.kif 1088-1088 Pennsylvania meets West virginia

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


(meetsSpatially Delaware Pennsylvania) CountriesAndRegions.kif 921-921 Delaware meets pennsylvania
(meetsSpatially NewJersey Pennsylvania) CountriesAndRegions.kif 1044-1044 New jersey united states meets pennsylvania
(meetsSpatially NewYorkState Pennsylvania) CountriesAndRegions.kif 1059-1059 New york state meets pennsylvania
(part PhiladelphiaPennsylvania Pennsylvania) CountriesAndRegions.kif 763-763 Philadelphia pennsylvania is a part of pennsylvania
(part PittsburghPennsylvania Pennsylvania) CountriesAndRegions.kif 766-766 Pittsburgh pennsylvania is a part of pennsylvania
(termFormat ChineseLanguage Pennsylvania "宾夕法尼亚") domainEnglishFormat.kif 45036-45036
(termFormat ChineseTraditionalLanguage Pennsylvania "賓夕法尼亞") domainEnglishFormat.kif 45035-45035
(termFormat EnglishLanguage Pennsylvania "pennsylvania") domainEnglishFormat.kif 45034-45034


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