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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arkansas
Arkansas

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 "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ arkansas.png") pictureList.kif 234-234
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 ArkansasAmericanStateinstance では %n
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 ArkansasLouisianameets %n{ない}
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 ArkansasOklahomameets %n{ない}
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 ArkansasTexasmeets %n{ない}

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


(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5191-5191 headquartersOfOrganization Walmart and Arkansas
(meetsSpatially Mississippi Arkansas) CountriesAndRegions.kif 1009-1009 MississippiArkansasmeets %n{ない}
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107 TennesseeArkansasmeets %n{ない}
(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