No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4916-4916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5039-5039 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5038-5038 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3005-3005 |
geographicSubregion JullundurIndia and India |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1850-1850 |
JullundurIndia est une instance de ville |