|
|
  Japan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2902-2902 | currencyType Japan and JapaneseYen |
| 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 | economyType Japan and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 163-163 | economyType Japan and DevelopedCountry |
| 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 | geographicSubregion Japan and EasternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 550-550 | Japan e' uma instancia de Ilha |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 549-549 | Japan e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | capitalCity TokyoJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2699-2699 | geographicSubregion CampZamaJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3206-3206 | geographicSubregion MatsumotoJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3354-3354 | geographicSubregion OsakaJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3603-3603 | geographicSubregion TokyoJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3686-3686 | geographicSubregion YokotaJapan and Japan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4150-4150 | Japan se chama nome "Japan" |
| 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 | codeMapping ISO-3166-1-alpha-2, "JP" and Japan |
|
|
|
