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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrenchSouthernAndAntarcticLands

 Sigma KEE - FrenchSouthernAndAntarcticLands
FrenchSouthernAndAntarcticLands(法国南部和南极的土地)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3774-3774 法国南部和南极的土地 是 法国 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3775-3775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 448-448
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3879-3879 法国南部和南极的土地 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 法国南部和南极的土地 是 土地面积 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 法国南部和南极的土地 是 located 在 南 和 印度洋 的 directional 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 法国南部和南极的土地 是 located 在 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4170-4170 法国南部和南极的土地 的名 是 "French Southern and Antarctic Lands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25004-25004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25003-25003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25002-25002

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


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