No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2389-2389 |
Japan is a capital city of tokyo japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2699-2699 |
Camp zama japan is a geographic subregion of japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3206-3206 |
Matsumoto japan is a geographic subregion of japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3354-3354 |
Osaka japan is a geographic subregion of japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3603-3603 |
Tokyo japan is a geographic subregion of japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3686-3686 |
Yokota japan is a geographic subregion of japan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4150-4150 |
Japan has name "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 |
|