LinzAustralia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1965-1965
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5765-5765
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5639-5639
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5764-5764
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5767-5767
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5766-5766
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3128-3128	Linz australia is a geographic subregion of australia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1964-1964	Linz australia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3129-3129	Linz australia has name "Linz"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34565-34565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34564-34564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34563-34563