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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iceland

 Sigma KEE - Iceland
Iceland(冰島)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3205-3205 冰島克朗 是 冰島 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1258-1258
No TPTP formula. May not be expressible in strict first order. Economy.kif 545-545 發達經濟 是 冰島 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 159-159 發達國家 是 冰島 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 511-511
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 320-320 冰島 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 321-321 例 冰島 and 歐洲國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1257-1257 例 冰島 and Island

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4038-4038 名 "Iceland" and 冰島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29139-29139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29138-29138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29137-29137

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


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