|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1530-1530 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3757-3757 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2632-2632 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3789-3789 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3797-3797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3805-3805 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1598-1598 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1602-1602 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1618-1618 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1626-1626 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1630-1630 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1634-1634 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3837-3837 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1686-1686 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1690-1690 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1702-1702 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1710-1710 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3881-3881 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3913-3913 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3917-3917 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3957-3957 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1531-1531 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1826-1826 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1834-1834 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1838-1838 | |
| 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