NewEngland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 31-33
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 29-29	新英格兰是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 30-30	新英格兰是美国的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 915-915	康涅狄格是新英格兰的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 989-989	马萨诸塞是新英格兰的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1034-1034	新罕布什尔是新英格兰的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1092-1092	罗德岛是新英格兰的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1124-1124	佛蒙特是新英格兰的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40293-40293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40292-40292
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40291-40291