NewHampshire - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1039-1040
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 619-619
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1033-1033	New hampshire is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1035-1035	New hampshire meets canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1038-1038	New hampshire meets massachusetts
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1036-1036	New hampshire meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1037-1037	New hampshire meets vermont
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1034-1034	New hampshire is a part of new england

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 977-977	Maine meets new hampshire
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 731-731	Manchester new hampshire is a part of new hampshire
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40299-40299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40298-40298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40297-40297