No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4882-4882 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4743-4743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4989-4989 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2953-2953 |
Island of bali indonesia is a geographic subregion of indonesia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2952-2952 |
Island of bali indonesia is an instance of geographic area |