|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 315-315 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 323-323 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2910-2910 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3142-3142 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 383-383 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 399-399 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 403-403 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 447-447 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 451-451 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2998-2998 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3002-3002 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3006-3006 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3010-3010 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 539-539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3086-3086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3126-3126 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3138-3138 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 607-607 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 663-663 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3170-3170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 687-687 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 691-691 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3222-3222 | |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners