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
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891

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


(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5191-5191
(meetsSpatially Mississippi Arkansas) CountriesAndRegions.kif 1009-1009
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107
(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