TreeView Knowledge Base Browser - RoermondNetherlands

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2248-2248
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4255-4255
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4007-4007
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4254-4254
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3442-3442	Roermond netherlands is a geographic subregion of netherlands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2247-2247	Roermond netherlands is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3443-3443	Roermond netherlands has name "Roermond"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50258-50258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50257-50257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50256-50256