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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lebanon
Lebanon(lebanon)
Lebanese_Republic, Lebanon

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3276-3276 Lebanese pound is a currency type of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1277-1277
No TPTP formula. May not be expressible in strict first order. Economy.kif 664-664 Developing country is an economy type of lebanon
No TPTP formula. May not be expressible in strict first order. Economy.kif 285-285 Less developed country is an economy type of lebanon
No TPTP formula. May not be expressible in strict first order. pictureList.kif 552-552
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 256-256 Lebanon is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 257-257 Lebanon is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2513-2513 Al balamand lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2519-2519 Aley lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2623-2623 Beirut lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3088-3088 Klaiyat lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3292-3292 Naqura lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3528-3528 Sidon lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3674-3674 West beirut lebanon is a geographic subregion of lebanon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4011-4011 Lebanon has name "Lebanon"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33640-33640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33639-33639
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33638-33638

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2710-2710 "LB" in ISO-3166-1-alpha-2 denotes lebanon


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