| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2834-2837 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9680-9685 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1578-1581 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9677-9677 | Le nombre 1 argument de superficialPart est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9678-9678 | Le nombre 2 argument de superficialPart est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9676-9676 | superficialPart est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9673-9673 | superficialPart est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9675-9675 | superficialPart est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9674-9674 | superficialPart est une instance de relation transitive |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 371-371 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 372-372 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 289-289 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2020-2020 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 221-221 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 326-326 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 234-234 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 231-231 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 481-481 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9729-9729 | bottom est une sous-relation de superficialPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9759-9759 | side est une sous-relation de superficialPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9698-9698 | surface est une sous-relation de superficialPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9744-9744 | top est une sous-relation de superficialPart |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56113-56113 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 372-372 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56112-56112 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56111-56111 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17719 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29740-29744 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1289-1293 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9687-9694 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9669-9671 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17719 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1907-1912 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12638-12651 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25251-25261 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25235-25244 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25219-25228 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17732-17742 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10108-10115 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10098-10106 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15099-15106 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 803-805 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 815-817 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9721-9727 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9707-9712 |
|
|
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