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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Slovenia
Slovenia(斯洛文尼亞)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3459-3459 歐元 是 斯洛文尼亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1347-1347
No TPTP formula. May not be expressible in strict first order. Economy.kif 596-596 轉型國家 是 斯洛文尼亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 735-735
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 289-289 斯洛文尼亞 是 歐洲中部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 290-290 例 斯洛文尼亞 and Nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3216-3216 會員 斯洛文尼亞 and 歐洲貨幣聯盟

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4025-4025 名 "Slovenia" and 斯洛文尼亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53444-53444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53443-53443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53442-53442

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2812-2812 "SI" 在 ISO-3166-1-alpha-2 denotes 斯洛文尼亞


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