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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewHampshire
NewHampshire

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


(documentation NewHampshire EnglishLanguage "A northeastern AmericanState. Its largest City is ManchesterNewHampshire.") CountriesAndRegions.kif 1039-1040
(externalImage NewHampshire "http://articulatesoftware.com/SUMOpictures/ geography/ US_States/ new_hampshire.png") pictureList.kif 619-619
(instance NewHampshire AmericanState) CountriesAndRegions.kif 1033-1033
(meetsSpatially NewHampshire Canada) CountriesAndRegions.kif 1035-1035
(meetsSpatially NewHampshire Massachusetts) CountriesAndRegions.kif 1038-1038
(meetsSpatially NewHampshire NorthAtlanticOcean) CountriesAndRegions.kif 1036-1036
(meetsSpatially NewHampshire Vermont) CountriesAndRegions.kif 1037-1037
(part NewHampshire NewEngland) CountriesAndRegions.kif 1034-1034

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


(meetsSpatially Maine NewHampshire) CountriesAndRegions.kif 977-977
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731
(termFormat ChineseLanguage NewHampshire "新罕布什尔") domainEnglishFormat.kif 40301-40301
(termFormat ChineseTraditionalLanguage NewHampshire "新罕布什爾") domainEnglishFormat.kif 40300-40300
(termFormat EnglishLanguage NewHampshire "new hampshire") domainEnglishFormat.kif 40299-40299


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