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	林茨澳大利亚是澳大利亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1964-1964	林茨澳大利亚是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3129-3129	林茨澳大利亚的名是 "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