| 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 5605-5608 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5602-5602 | The number 1 argument of path length is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5603-5603 | The number 2 argument of path length is an instance of positive integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5600-5600 | path length is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5599-5599 | path length is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5601-5601 | path length is an instance of irreflexive relation |
| 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 758-758 | |
| 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 44706-44706 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44705-44705 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5787-5793 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5795-5802 | There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer |
|
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