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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pennsylvania

Sigma KEE - Pennsylvania
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 ist ein fall von AmericanState %n{nicht}
(meetsSpatially Pennsylvania Canada) CountriesAndRegions.kif 1090-1090 Pennsylvania schliesst Canada raeumlich an
(meetsSpatially Pennsylvania Ohio) CountriesAndRegions.kif 1089-1089 Pennsylvania schliesst Ohio raeumlich an
(meetsSpatially Pennsylvania WestVirginia) CountriesAndRegions.kif 1088-1088 Pennsylvania schliesst WestVirginia raeumlich an

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


(meetsSpatially Delaware Pennsylvania) CountriesAndRegions.kif 921-921 Delaware schliesst Pennsylvania raeumlich an
(meetsSpatially NewJersey Pennsylvania) CountriesAndRegions.kif 1044-1044 NewJersey schliesst Pennsylvania raeumlich an
(meetsSpatially NewYorkState Pennsylvania) CountriesAndRegions.kif 1059-1059 NewYorkState schliesst Pennsylvania raeumlich an
(part PhiladelphiaPennsylvania Pennsylvania) CountriesAndRegions.kif 763-763 PhiladelphiaPennsylvania ist ein teil von Pennsylvania %n{nicht}
(part PittsburghPennsylvania Pennsylvania) CountriesAndRegions.kif 766-766 PittsburghPennsylvania ist ein teil von Pennsylvania %n{nicht}
(termFormat ChineseLanguage Pennsylvania "宾夕法尼亚") domainEnglishFormat.kif 45036-45036
(termFormat ChineseTraditionalLanguage Pennsylvania "賓夕法尼亞") domainEnglishFormat.kif 45035-45035
(termFormat EnglishLanguage Pennsylvania "pennsylvania") domainEnglishFormat.kif 45034-45034


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