|
| 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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners