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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Alabama
AL, Alabama, Camellia_State, Heart_of_Dixie

appearance as argument number 1

(documentation Alabama EnglishLanguage "A state in the southeastern UnitedStates that borders on the GulfOfMexico.") CountriesAndRegions.kif 867-868
(externalImage Alabama " US_States/ alabama.png") pictureList.kif 214-214
(instance Alabama AmericanState) CountriesAndRegions.kif 865-865 Alabama is an instance of american state
(meetsSpatially Alabama Mississippi) CountriesAndRegions.kif 866-866 Alabama meets mississippi

appearance as argument number 2

(meetsSpatially FloridaUnitedStates Alabama) CountriesAndRegions.kif 926-926 Florida meets alabama
(meetsSpatially Georgia Alabama) CountriesAndRegions.kif 933-933 Georgia meets alabama
(meetsSpatially Tennessee Alabama) CountriesAndRegions.kif 1105-1105 Tennessee meets alabama
(termFormat ChineseLanguage Alabama "阿拉巴马") domainEnglishFormat.kif 6372-6372
(termFormat ChineseTraditionalLanguage Alabama "阿拉巴馬") domainEnglishFormat.kif 6371-6371
(termFormat EnglishLanguage Alabama "alabama") domainEnglishFormat.kif 6370-6370

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