MilanItaly - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4198-4198
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4193-4193
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4195-4195
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4194-4194
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4196-4196
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4199-4199
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3989-3989
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4197-4197
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3234-3234	米兰意大利是意大利的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2058-2058	米兰意大利是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3235-3235	米兰意大利的名是 "Milan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37517-37517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37516-37516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37515-37515