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 例 馬約特 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 147-147 例 馬約特 and Island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 148-148 空間的符合 馬約特 and 印度洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3969-3969 名 "Mayotte" and 馬約特
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