|
| 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 609-609 | |
| 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 1656-1656 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4544-4546 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4470-4472 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 644-645 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4536-4537 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4463-4465 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2318-2319 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29926-29927 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4361-4364 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21104-21104 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9902-9905 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1009-1009 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23418-23420 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8339-8343 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11527-11541 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 535-536 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 540-541 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2484-2486 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 548-550 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2800-2800 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2474-2477 | |
| 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