EasternAsia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5973-5973
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6416-6416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6417-6417
No TPTP formula. May not be expressible in strict first order.	Geography.kif 178-178	东亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 259-259	东亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 260-260	东亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 101-101	东亚是地理区域的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 545-545	中国是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 547-547	香港是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 548-548	日本是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 555-555	澳门是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 551-551	北朝鲜是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 553-553	韩国是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 556-556	台湾是东亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 132-132	东亚的名是 "Eastern Asia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20844-20844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20843-20843
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20842-20842