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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2770-2770	DarEsSalaAmTanzania se chama nome "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