TreeView Knowledge Base Browser - DarEsSalaAmTanzania

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1655-1655
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5724-5724
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5725-5725
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5727-5727
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5726-5726
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2769-2769	达累斯萨拉姆坦桑尼亚是坦桑尼亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1654-1654	达累斯萨拉姆坦桑尼亚是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2770-2770	达累斯萨拉姆坦桑尼亚的名是 "Dar es Sala'am"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18522-18522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18521-18521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18520-18520