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 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 e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 FrenchSouthernAndAntarcticLands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands e' situado em DirectionalSubregionFn South and IndianOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLands e' situado em IndianOcean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4170-4170 FrenchSouthernAndAntarcticLands se chama nome "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 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