|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2224-2225 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4765-4766 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 888-889 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1705-1707 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1672-1676 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 306-310 | |
| 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 16510-16511 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 520-521 | |
| 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 17139-17140 | |
| 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 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 | |
| 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