SouthwesternAsia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6883-6883
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7948-7948
No TPTP formula. May not be expressible in strict first order.	Geography.kif 184-184	西南亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 272-272	西南亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 273-273	西南亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 105-105	西南亚是地理区域的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 630-630	亚美尼亚是西南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 632-632	阿塞拜疆是西南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 634-634	格鲁吉亚共和国是西南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 136-136	西南亚的名是 "Southwestern Asia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54342-54342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54341-54341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54340-54340