|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 434-434 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7537-7538 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7534-7535 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 98-101 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 294-296 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5881-5883 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14543-14548 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1462-1462 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2573-2575 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1177-1177 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12489-12494 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1835-1837 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1830-1832 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1414-1416 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8234-8264 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4603-4604 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1591-1606 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8811-8812 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8859-8860 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2325-2326 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1401-1401 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3787-3791 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16267-16268 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9488-9491 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7103-7104 | |
| 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