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	The hague netherlands is a geographic subregion of netherlands
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2380-2380	The hague netherlands is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3593-3593	The hague netherlands has name "The Hague"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57824-57824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57823-57823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57822-57822