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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmmanJordan
AmmanJordan(amman jordan)

appearance as argument number 1
-------------------------


(documentation AmmanJordan EnglishLanguage "The City of Amman in Jordan.") CountriesAndRegions.kif 1427-1427
(externalImage AmmanJordan "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9b/ Amman_location.png/ 250px-Amman_location.png") pictureList.kif 1384-1384
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2528-2528 Amman jordan is a geographic subregion of jordan
(instance AmmanJordan City) CountriesAndRegions.kif 1426-1426 Amman jordan is an instance of city

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


(names "Amman" AmmanJordan) CountriesAndRegions.kif 2529-2529 Amman jordan has name "Amman"
(termFormat ChineseLanguage AmmanJordan "安曼,约旦") domainEnglishFormat.kif 7250-7250 Amman jordan has name "Amman"
(termFormat ChineseTraditionalLanguage AmmanJordan "安曼,約旦") domainEnglishFormat.kif 7249-7249 Amman jordan has name "Amman"
(termFormat EnglishLanguage AmmanJordan "amman jordan") domainEnglishFormat.kif 7248-7248 Amman jordan has name "Amman"


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