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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 例 法國南部和南極的土地 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 例 法國南部和南極的土地 and LandArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 位於 法國南部和南極的土地 and 南 和 印度洋 的 directional 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 位於 法國南部和南極的土地 and 印度洋

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" and 法國南部和南極的土地
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 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