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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FrenchSouthernAndAntarcticLands
FrenchSouthernAndAntarcticLands(french southern and antarctic lands)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3774-3774 French southern and antarctic lands is a dependent of france
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 French southern and antarctic lands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 French southern and antarctic lands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 French southern and antarctic lands is located at the directional subregion of south and indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 French southern and antarctic lands is located at indian ocean

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 has name "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" in ISO-3166-1-alpha-2 denotes french southern and antarctic lands


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