|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54-54 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2708-2708 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2720-2720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2748-2748 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5238-5238 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 349-349 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 206-206 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 218-218 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2844-2844 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 222-222 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3262-3262 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 255-255 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 455-455 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 765-765 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2884-2884 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2892-2892 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 278-278 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 282-282 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14867-14867 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 322-322 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2912-2912 | |
| 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