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	Matsumoto日本是日本的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2030-2030	Matsumoto日本是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3207-3207	Matsumoto日本的名是 "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