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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alabama
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 "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ alabama.png") pictureList.kif 214-214
(instance Alabama AmericanState) CountriesAndRegions.kif 865-865 AlabamaAmericanStateinstance では %n
(meetsSpatially Alabama Mississippi) CountriesAndRegions.kif 866-866 AlabamaMississippimeets %n{ない}

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


(meetsSpatially FloridaUnitedStates Alabama) CountriesAndRegions.kif 926-926 FloridaUnitedStatesAlabamameets %n{ない}
(meetsSpatially Georgia Alabama) CountriesAndRegions.kif 933-933 GeorgiaAlabamameets %n{ない}
(meetsSpatially Tennessee Alabama) CountriesAndRegions.kif 1105-1105 TennesseeAlabamameets %n{ない}
(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