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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RamaJunctionWestBank
RamaJunctionWestBank

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


(documentation RamaJunctionWestBank EnglishLanguage "The City of RamaJunction in WestBank.") CountriesAndRegions.kif 2224-2224
(geographicSubregion RamaJunctionWestBank WestBank) CountriesAndRegions.kif 3415-3415 geographicSubregion RamaJunctionWestBank and WestBank
(instance RamaJunctionWestBank City) CountriesAndRegions.kif 2223-2223 RamaJunctionWestBank è un' istanza di Citt�

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


(names "Rama Junction" RamaJunctionWestBank) CountriesAndRegions.kif 3416-3416 names "Rama Junction" and RamaJunctionWestBank
(termFormat ChineseLanguage RamaJunctionWestBank "拉马路口西岸") domainEnglishFormat.kif 48718-48718
(termFormat ChineseTraditionalLanguage RamaJunctionWestBank "拉馬路口西岸") domainEnglishFormat.kif 48717-48717
(termFormat EnglishLanguage RamaJunctionWestBank "rama junction west bank") domainEnglishFormat.kif 48716-48716


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