BacterialDisease
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | 歐元 是 拉脫維亞 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1276-1276 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 587-587 | 轉型國家 是 拉脫維亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 300-300 | 拉脫維亞 是 東歐洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 301-301 | 例 拉脫維亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3173-3173 | 會員 拉脫維亞 and 歐洲貨幣聯盟 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3431-3431 | 裡加拉脫維亞 是 拉脫維亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4030-4030 | 名 "Latvia" and 拉脫維亞 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33485-33485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33484-33484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33483-33483 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2746-2746 | "LV" 在 ISO-3166-1-alpha-2 denotes 拉脫維亞 |