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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " pictures/ geography/ US_States/ arkansas.png") pictureList.kif 234-234
(instance Arkansas AmericanState) CountriesAndRegions.kif 889-889 instance Arkansas and AmericanState
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 meetsSpatially Arkansas and Louisiana
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 meetsSpatially Arkansas and Oklahoma
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 meetsSpatially Arkansas and Texas

appearance as argument number 2

(meetsSpatially Mississippi Arkansas) CountriesAndRegions.kif 1009-1009 meetsSpatially Mississippi and Arkansas
(meetsSpatially Tennessee Arkansas) CountriesAndRegions.kif 1107-1107 meetsSpatially Tennessee and Arkansas
(termFormat ChineseLanguage Arkansas "阿肯色州") domainEnglishFormat.kif 8377-8377
(termFormat ChineseTraditionalLanguage Arkansas "阿肯色州") domainEnglishFormat.kif 8376-8376
(termFormat EnglishLanguage Arkansas "arkansas") domainEnglishFormat.kif 8375-8375

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners