CentralAsia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6242-6242
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6243-6243
No TPTP formula. May not be expressible in strict first order.	Geography.kif 177-177	中亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 256-256	中亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 257-257	中亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	中亚是地理区域的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 529-529	哈萨克斯坦是中亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 531-531	吉尔吉斯斯坦是中亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 533-533	塔吉克斯坦是中亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 535-535	土库曼斯坦是中亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 537-537	乌兹别克斯坦是中亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 131-131	中亚的名是 "Central Asia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13824-13824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13823-13823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13822-13822