Massachusetts - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 994-995
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 584-584
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 988-988	马萨诸塞是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 992-992	马萨诸塞接上康涅狄格
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 991-991	马萨诸塞接上纽约州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 990-990	马萨诸塞接上北大西洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 993-993	马萨诸塞接上罗德岛
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 989-989	马萨诸塞是新英格兰的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1038-1038	新罕布什尔接上马萨诸塞
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1127-1127	佛蒙特接上马萨诸塞
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 724-724	马萨诸塞州波士顿是马萨诸塞的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36407-36407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36406-36406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36405-36405