No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2465-2465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5588-5588 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5198-5198 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5585-5585 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5586-5586 |
|
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 2464-2464 |
YokotaJapan est une instance de ville |