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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Arkansas
AR, Arkansas, Land_of_Opportunity

appearance as argument number 1

(documentation Arkansas EnglishLanguage "A state in the southeastern UnitedStates that was part of the Confederacy.") CountriesAndRegions.kif 893-894
(externalImage Arkansas " US_States/ arkansas.png") pictureList.kif 234-234
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 Arkansas is an instance of american state
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 Arkansas meets louisiana
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 Arkansas meets texas

appearance as argument number 2

(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5191-5191 The headquarters of Walmart is in arkansas
(meetsSpatially Mississippi Arkansas) CountriesAndRegions.kif 1009-1009 Mississippi meets arkansas
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107 Tennessee meets arkansas
(termFormat ChineseLanguage Arkansas "阿肯色州") domainEnglishFormat.kif 8370-8370
(termFormat ChineseTraditionalLanguage Arkansas "阿肯色州") domainEnglishFormat.kif 8369-8369
(termFormat EnglishLanguage Arkansas "arkansas") domainEnglishFormat.kif 8368-8368

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