|
|
  Japan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2902-2902 | 日圓 是 日本 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1268-1268 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 549-549 | 發達經濟 是 日本 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 163-163 | 發達國家 是 日本 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 548-548 | 日本 是 東亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 550-550 | 例 日本 and Island |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 549-549 | 例 日本 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | 日本 是 日本東京 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2699-2699 | 紮紮日本營地 是 日本 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3206-3206 | Matsumoto日本 是 日本 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3354-3354 | 大阪日本 是 日本 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3603-3603 | 日本東京 是 日本 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3686-3686 | 橫田日本 是 日本 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4150-4150 | 名 "Japan" and 日本 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31453-31453 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31452-31452 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31451-31451 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2729-2729 | "JP" 在 ISO-3166-1-alpha-2 denotes 日本 |
|
|
|
