Scotland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 800-800
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4816-4816
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	苏格兰是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6952-6952	苏格兰接上 England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6951-6951	苏格兰在 England 的北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6964-6964	苏格兰在 Wales 的北
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 799-799	苏格兰是英国的 part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6968-6968	英国是苏格兰的 primary 地缘政治细分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6953-6953	北爱尔兰在苏格兰的西南
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51603-51603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51602-51602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51601-51601