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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Alabama

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 " pictures/ geography/ US_States/ alabama.png") pictureList.kif 214-214
(instance Alabama AmericanState) CountriesAndRegions.kif 865-865
(meetsSpatially Alabama Mississippi) CountriesAndRegions.kif 866-866

appearance as argument number 2

(meetsSpatially FloridaUnitedStates Alabama) CountriesAndRegions.kif 926-926
(meetsSpatially Georgia Alabama) CountriesAndRegions.kif 933-933
(meetsSpatially Tennessee Alabama) CountriesAndRegions.kif 1105-1105
(termFormat ChineseLanguage Alabama "阿拉巴马") domainEnglishFormat.kif 6377-6377
(termFormat ChineseTraditionalLanguage Alabama "阿拉巴馬") domainEnglishFormat.kif 6376-6376
(termFormat EnglishLanguage Alabama "alabama") domainEnglishFormat.kif 6375-6375

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