TreeView Knowledge Base Browser - Mayotte

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mayotte

Mayotte

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3811-3811	dependentGeopoliticalArea Mayotte and France
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3812-3812
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 588-588
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 172-172	geographicSubregion Mayotte and SouthernAfrica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3898-3898	Mayotte e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 147-147	Mayotte e' uma instancia de Ilha
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 148-148	Mayotte encontra IndianOcean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3969-3969	Mayotte se chama nome "Mayotte"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36635-36635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36634-36634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36633-36633

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2865-2865

codeMapping ISO-3166-1-alpha-2, "YT" and Mayotte

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