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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SriLanka

 Sigma KEE - SriLanka
SriLanka(斯里蘭卡)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3479-3479 斯里蘭卡盧比 是 斯里蘭卡 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1353-1353
No TPTP formula. May not be expressible in strict first order. Economy.kif 713-713 發展中國家 是 斯里蘭卡 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 329-329 較未發達國家 是 斯里蘭卡 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 754-754
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 582-582 斯里蘭卡 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 583-583 例 斯里蘭卡 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2742-2742 科倫坡斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2878-2878 Gonegalle斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2963-2963 賈夫那斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3017-3017 卡爾穆奈斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3021-3021 康提斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3162-3162 Madhu sri 斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3272-3272 Muttur sri 斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3289-3289 納魯爾地區斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3566-3566 坦迪斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3612-3612 亭可馬里港斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3643-3643 瓦武尼亞斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4168-4168 名 "Sri Lanka" and 斯里蘭卡
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54930-54930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54929-54929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54928-54928

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2816-2816 "LK" 在 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