|
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 70-70 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 556-556 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 69-69 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1847-1847 | greaterThan est trichotomiz� en nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1876-1876 | greaterThanOrEqualTo est trichotomiz� en nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1835-1835 | lessThan est trichotomiz� en nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1859-1859 | lessThanOrEqualTo est trichotomiz� en nombre r�el |
|
|
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