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 斯里兰卡 是 国家 的 instance

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"
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