|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 12343-12346 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10300-10304 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10308-10310 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10077-10082 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19022-19022 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2951-2956 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1399-1399 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12291-12292 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1602-1609 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 354-357 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 529-533 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 298-308 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 313-315 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1189-1189 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15284-15285 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13119-13121 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10161-10163 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10155-10157 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10200-10203 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3832-3836 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3855-3857 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3848-3851 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1897-1897 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1883-1884 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8228-8229 | |
| 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