KfarSabaIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1889-1889
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3538-3538
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3537-3537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3338-3338
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3049-3049	Kfar saba israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1888-1888	Kfar saba israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3050-3050	Kfar saba israel has name "Kfar Saba"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32389-32389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32388-32388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32387-32387