|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 225-226 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1944-1944 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2187-2187 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1953-1953 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1964-1964 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1913-1913 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1397-1397 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10104-10115 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3389-3391 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17120-17123 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15280-15281 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15227-15229 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 987-990 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12357-12362 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12366-12369 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12397-12399 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12319-12322 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12350-12353 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12403-12406 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12381-12384 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12373-12377 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12313-12315 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12333-12339 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12326-12329 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12388-12393 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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