|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3669-3669 | WashingtonDC united states is a geographic subregion of united states |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20274-20274 | Alligator inhabits united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4495-4495 | The headquarters of General Motors is in united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4576-4576 | The headquarters of Harley Davidson is in united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 410-410 | Canada meets united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1294-1294 | Mexico meets united states |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 952-952 | United states is a military of area of US military |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4079-4079 | United states has name "United States" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 740-740 | Mississippi river is a part of united states |
| 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 1160-1160 | Puerto rico is a part of united states |
| 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. | domainEnglishFormat.kif 60332-60332 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60331-60331 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60330-60330 |
|
|
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