Mayotte - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mayotte

Mayotte(mayotte)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3811-3811	Mayotte is a dependent of 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	Mayotte is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3898-3898	Mayotte is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 147-147	Mayotte is an instance of island
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 148-148	Mayotte meets indian ocean

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3969-3969	Mayotte has name "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

"YT" in ISO-3166-1-alpha-2 denotes mayotte

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