ParacelIslands - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3717-3717	中国是西沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3718-3718	台湾是西沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3719-3719	越南是西沙群岛的 claimed 领土
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 655-655
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 618-618	西沙群岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	西沙群岛是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 595-595	西沙群岛是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4183-4183	西沙群岛的名是 "Paracel Islands"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44364-44364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44363-44363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44362-44362