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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BetLidJunctionIsrael
BetLidJunctionIsrael(bet lid junction israel)

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


(externalImage BetLidJunctionIsrael "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ %D7%AA%D7%9E%D7%95%D7%A0%D7%94_616.jpg") pictureList.kif 3310-3310
(geographicSubregion BetLidJunctionIsrael Israel) CountriesAndRegions.kif 2645-2645 Bet lid junction israel is a geographic subregion of israel
(instance BetLidJunctionIsrael GeographicArea) CountriesAndRegions.kif 2644-2644 Bet lid junction israel is an instance of geographic area

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


(names "Bet Lid Junction" BetLidJunctionIsrael) CountriesAndRegions.kif 2646-2646 Bet lid junction israel has name "Bet Lid Junction"
(termFormat ChineseLanguage BetLidJunctionIsrael "bet lid 以色列交界处") domainEnglishFormat.kif 10895-10895
(termFormat ChineseTraditionalLanguage BetLidJunctionIsrael "bet lid 以色列交界處") domainEnglishFormat.kif 10894-10894
(termFormat EnglishLanguage BetLidJunctionIsrael "bet lid junction israel") domainEnglishFormat.kif 10893-10893


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