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	林多斯罗兹是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3127-3127	林多斯罗兹的名是 "Lindos"
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