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 |
|