No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2031-2031 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5336-5336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5338-5338 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5337-5337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5141-5141 |
|
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 2030-2030 |
Matsumoto japan is an instance of city |