SpratlyIslands - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3720-3720	中国是南沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3721-3721	台湾是南沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3722-3722	越南是南沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 752-752
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 623-623	南沙群岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4236-4236	南沙群岛是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 596-596	南沙群岛是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4186-4186	南沙群岛的名是 "Spratly Islands"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54804-54804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54803-54803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54802-54802