BassasDaIndia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3736-3736	Bassas da 印度是法国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3737-3737
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 264-264
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 154-154	Bassas da 印度是非洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3863-3863	Bassas da 印度是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 135-135	Bassas da 印度是岛的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 136-136	Bassas da 印度接上印度洋

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3956-3956	Bassas da 印度的名是 "Bassas da India"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10152-10152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10151-10151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10150-10150