MatsumotoJapan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2031-2031
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5336-5336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5338-5338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5337-5337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5141-5141
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3206-3206	geographicSubregion MatsumotoJapan and Japan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2030-2030	MatsumotoJapan est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3207-3207	MatsumotoJapan s'appele nom "Matsumoto"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36527-36527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36526-36526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36525-36525