| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2353-2355 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5916-5919 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1030-1032 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5913-5913 | 域 路徑長度, 1 and GraphPath |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5914-5914 | 域 路徑長度, 2 and PositiveInteger |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5912-5912 | 例 路徑長度 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 753-753 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 755-755 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 454-454 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2162-2162 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 406-406 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 972-972 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 255-255 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 476-476 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 519-519 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 409-409 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 754-754 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44785-44785 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44784-44784 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6092-6098 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6100-6107 | GraphPath GraphPath 例 GraphPath and 切集 Graph 例 GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger |
|
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