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 dependentGeopoliticalArea FrenchSouthernAndAntarcticLands and 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 FrenchSouthernAndAntarcticLands est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 FrenchSouthernAndAntarcticLands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLands est situ� � IndianOcean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4170-4170 FrenchSouthernAndAntarcticLands s'appele nom "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 codeMapping ISO-3166-1-alpha-2, "TF" and FrenchSouthernAndAntarcticLands


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