| 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 | O argumento numero 1 de pathLength e' uma instancia de Caminho do Grafo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5914-5914 | O argumento numero 2 de pathLength e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5912-5912 | pathLength e' uma instancia de Predicado Binario |
| 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 | Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo |
|
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