|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2677-2677 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2681-2681 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39-39 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43-43 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47-47 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1667-1667 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51-51 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2689-2689 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2701-2701 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2705-2705 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63-63 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 71-71 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2713-2713 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2717-2717 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 79-79 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2725-2725 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 83-83 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2729-2729 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 95-95 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 103-103 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 107-107 | |
| 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