LindosRhodes - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1963-1963
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3344-3344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1412-1412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3544-3544
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3546-3546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3545-3545
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3126-3126	林多斯羅茲是羅茲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1962-1962	例林多斯羅茲 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3127-3127	名 "Lindos" and 林多斯羅茲
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34487-34487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34486-34486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34485-34485