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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Massachusetts

appearance as argument number 1

(documentation Massachusetts EnglishLanguage "A northeastern AmericanState. Its largest City is BostonMassachusetts.") CountriesAndRegions.kif 994-995
(externalImage Massachusetts " geography/ US_States/ massachusetts.png") pictureList.kif 584-584
(instance Massachusetts AmericanState) CountriesAndRegions.kif 988-988
(meetsSpatially Massachusetts Connecticut) CountriesAndRegions.kif 992-992
(meetsSpatially Massachusetts NewYorkState) CountriesAndRegions.kif 991-991
(meetsSpatially Massachusetts NorthAtlanticOcean) CountriesAndRegions.kif 990-990
(meetsSpatially Massachusetts RhodeIsland) CountriesAndRegions.kif 993-993
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989

appearance as argument number 2

(meetsSpatially NewHampshire Massachusetts) CountriesAndRegions.kif 1038-1038
(meetsSpatially Vermont Massachusetts) CountriesAndRegions.kif 1127-1127
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724
(termFormat ChineseLanguage Massachusetts "马萨诸塞") domainEnglishFormat.kif 36407-36407
(termFormat ChineseTraditionalLanguage Massachusetts "馬薩諸塞") domainEnglishFormat.kif 36406-36406
(termFormat EnglishLanguage Massachusetts "massachusetts") domainEnglishFormat.kif 36405-36405

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