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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " pictures/ geography/ US_States/ pennsylvania.png") pictureList.kif 660-660
(instance Pennsylvania AmericanState) CountriesAndRegions.kif 1085-1085
(meetsSpatially Pennsylvania Canada) CountriesAndRegions.kif 1090-1090
(meetsSpatially Pennsylvania Ohio) CountriesAndRegions.kif 1089-1089
(meetsSpatially Pennsylvania WestVirginia) CountriesAndRegions.kif 1088-1088

appearance as argument number 2

(meetsSpatially Delaware Pennsylvania) CountriesAndRegions.kif 921-921
(meetsSpatially NewJersey Pennsylvania) CountriesAndRegions.kif 1044-1044
(meetsSpatially NewYorkState Pennsylvania) CountriesAndRegions.kif 1059-1059
(part PhiladelphiaPennsylvania Pennsylvania) CountriesAndRegions.kif 763-763
(part PittsburghPennsylvania Pennsylvania) CountriesAndRegions.kif 766-766
(termFormat ChineseLanguage Pennsylvania "宾夕法尼亚") domainEnglishFormat.kif 45019-45019
(termFormat ChineseTraditionalLanguage Pennsylvania "賓夕法尼亞") domainEnglishFormat.kif 45018-45018
(termFormat EnglishLanguage Pennsylvania "pennsylvania") domainEnglishFormat.kif 45017-45017

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