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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lebanon

 Sigma KEE - Lebanon
Lebanon(黎巴嫩)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3273-3273 黎巴嫩鎊 是 黎巴嫩 的 currency 類別
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 669-669 發展中國家 是 黎巴嫩 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 285-285 較未發達國家 是 黎巴嫩 的 economy 類別
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 黎巴嫩 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 257-257 例 黎巴嫩 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2512-2512 Al balamand 黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2518-2518 阿萊黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2622-2622 貝魯特，黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3087-3087 克萊雅特黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3291-3291 納庫拉黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3527-3527 西頓黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3673-3673 西貝魯特黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4009-4009 名 "Lebanon" and 黎巴嫩
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33725-33725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33724-33724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33723-33723

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2740-2740 "LB" 在 ISO-3166-1-alpha-2 denotes 黎巴嫩


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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