TBilisiGeorgia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2355-2355
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3380-3380
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3613-3613
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3610-3610
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3611-3611
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3608-3608
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3612-3612
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3609-3609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3614-3614
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3570-3570	第比利斯格魯吉亞是格魯吉亞共和國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2354-2354	例第比利斯格魯吉亞 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3571-3571	名 "T'bilisi" and 第比利斯格魯吉亞
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57139-57139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57138-57138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57137-57137