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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Greenland

Sigma KEE - Greenland
Greenland(格陵兰)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3780-3780 格陵兰丹麦dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3781-3781
No TPTP formula. May not be expressible in strict first order. pictureList.kif 474-474
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 411-411 格陵兰北美洲北部geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3882-3882 格陵兰依赖或特殊主权领域instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 401-401 格陵兰土地面积instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4082-4082 格陵兰 的名 是 "Greenland"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26604-26604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26603-26603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26602-26602

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


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