|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4705-4705 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2414-2414 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4837-4837 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2454-2454 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2458-2458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2466-2466 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4777-4777 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2538-2538 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2550-2550 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4821-4821 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2554-2554 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2558-2558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4869-4869 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2598-2598 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2606-2606 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4981-4981 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2645-2645 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15-15 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31-31 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2653-2653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2657-2657 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2661-2661 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2665-2665 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2669-2669 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2673-2673 | |
| 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