|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4751-4752 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1659-1663 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1612-1615 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13714-13720 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16446-16447 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 519-520 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13152-13163 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17075-17076 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1269-1270 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 630-631 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 846-848 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2664-2665 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 608-608 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11561-11563 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11555-11557 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4542-4544 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4468-4470 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 800-801 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4534-4535 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4461-4463 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2332-2333 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29827-29828 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4359-4362 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21009-21009 | |
| 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