FrankfurtGermany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1721-1721
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3488-3488
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3487-3487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3489-3489
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3490-3490
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3492-3492
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3491-3491
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3322-3322
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2847-2847	法兰克福德国是德国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1720-1720	法兰克福德国是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2848-2848	法兰克福德国的名是 "Frankfurt"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24890-24890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24889-24889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24888-24888