| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3703-3704 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16585-16586 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16583-16583 | Le nombre 1 argument de sister est une instance de Woman |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16584-16584 | Le nombre 2 argument de sister est une instance de humain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16580-16580 | sister est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16582-16582 | sister est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16581-16581 | sister est une instance de relation transitive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16579-16579 | sister est une sous-relation de sibling |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4522-4522 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4521-4521 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4520-4520 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53248-53248 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53247-53247 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53246-53246 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23098-23103 | aunt Woman and humain humain sister Woman and humain humain est un parent de humain |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 714-720 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 630-636 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 702-708 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 595-600 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 738-744 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 642-648 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 726-732 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 584-589 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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