MunsterGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2079-2079
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3574-3574
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3573-3573
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3355-3355
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3571-3571
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3572-3572
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3264-3264	Munster germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2078-2078	Munster germany is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3265-3265	Munster germany has name "Munster"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39285-39285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39284-39284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39283-39283