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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewMexico
NewMexico(new mexico)
Land_of_Enchantment, NM, New_Mexico

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


(documentation NewMexico EnglishLanguage "A southwestern state in the UnitedStates.") CountriesAndRegions.kif 1049-1049
(externalImage NewMexico "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ new_mexico.png") pictureList.kif 621-621
(instance NewMexico AmericanState) CountriesAndRegions.kif 1046-1046 New mexico is an instance of american state
(meetsSpatially NewMexico Arizona) CountriesAndRegions.kif 1047-1047 New mexico meets Arizona
(meetsSpatially NewMexico Mexico) CountriesAndRegions.kif 1048-1048 New mexico meets mexico

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


(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905 California meets new mexico
(meetsSpatially Colorado NewMexico) CountriesAndRegions.kif 911-911 Colorado meets new mexico
(meetsSpatially Texas NewMexico) CountriesAndRegions.kif 1111-1111 Texas meets new mexico
(meetsSpatially Utah NewMexico) CountriesAndRegions.kif 1121-1121 Utah meets new mexico
(termFormat ChineseLanguage NewMexico "新墨西哥") domainEnglishFormat.kif 40355-40355 Utah meets new mexico
(termFormat ChineseTraditionalLanguage NewMexico "新墨西哥") domainEnglishFormat.kif 40354-40354 Utah meets new mexico
(termFormat EnglishLanguage NewMexico "new mexico") domainEnglishFormat.kif 40353-40353 Utah meets new mexico


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