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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mayotte

 Sigma KEE - Mayotte
Mayotte(马约特)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3811-3811 马约特 是 法国 的 dependent
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 马约特 是 非洲南部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3898-3898 马约特 是 依赖或特殊主权领域 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 147-147 马约特 是 岛 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 148-148 马约特 接上 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3969-3969 马约特 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 马约特


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