|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 632-632 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 120-121 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 147-147 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 821-821 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 872-872 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 846-846 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 859-859 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 833-833 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 806-806 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 791-791 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 776-776 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 218-218 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 225-225 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 233-234 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 244-244 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 761-761 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2089-2090 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2111-2114 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1921-1923 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2798-2798 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3421-3422 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3406-3406 | |
| 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