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	geographicSubregion RoermondNetherlands and Netherlands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2247-2247	RoermondNetherlands e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3443-3443	RoermondNetherlands se chama nome "Roermond"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50260-50260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50259-50259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50258-50258