part |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 126-126 | Morocco is a part of africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | Nashville tennessee is a part of tennessee |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 30-30 | New england is a part of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1034-1034 | New hampshire is a part of new england |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | Paris is a part of france |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 763-763 | Philadelphia pennsylvania is a part of pennsylvania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 766-766 | Pittsburgh pennsylvania is a part of pennsylvania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1160-1160 | Puerto rico is a part of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4242-4242 | Red river is a part of mississippi river |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4243-4243 | Red river is a part of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | Rhode island is a part of new england |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | Rhodes is a part of greece |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 783-783 | Saint louis missouri is a part of missouri |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 791-791 | San francisco california is a part of california |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 795-795 | Savannah georgia is a part of georgia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | Scotland is a part of united kingdom |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2592-2592 | Svalbard and Jan Mayen island is a part of norway |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4816-4816 | United states house of representatives is a part of united states congress |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4823-4823 | United states senate is a part of united states congress |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1124-1124 | Vermont is a part of new england |