|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 554-556 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1343-1345 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13690-13690 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 984-984 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 511-511 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 522-522 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28818-28823 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4478-4479 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2263-2266 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14109-14110 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1749-1751 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9291-9293 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9649-9651 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18805-18806 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 354-355 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21138-21140 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4864-4865 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3607-3621 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 164-173 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1393-1393 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1307-1310 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4747-4760 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1395-1395 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2312-2313 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4716-4718 | |
| 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