TreeView Knowledge Base Browser - TheHagueNetherlands

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2381-2381
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4386-4386
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4383-4383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4382-4382
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4385-4385
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4042-4042
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4381-4381
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3592-3592	geographicSubregion TheHagueNetherlands and Netherlands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2380-2380	TheHagueNetherlands e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3593-3593	TheHagueNetherlands se chama nome "The Hague"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57826-57826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57825-57825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57824-57824