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	Lindos rhodes is a geographic subregion of rhodes
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1962-1962	Lindos rhodes is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3127-3127	Lindos rhodes has name "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