| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2347-2348 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5878-5879 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1022-1023 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5874-5874 | O argumento numero 1 de links e' uma instancia de No' do Grafo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5875-5875 | O argumento numero 2 de links e' uma instancia de No' do Grafo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5876-5876 | O argumento numero 3 de links e' uma instancia de Arco do Grafo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5873-5873 | links e' uma instancia de Predicado Ternario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 747-747 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 749-749 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 451-451 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 165-165 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2159-2159 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 403-403 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 963-963 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 204-204 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 473-473 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 329-329 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 748-748 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34559-34559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34558-34558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34557-34557 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 330-330 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5791-5800 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5863-5865 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5881-5883 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2903-2909 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5631-5651 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5848-5851 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5653-5667 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5778-5789 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5858-5861 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5838-5841 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5881-5883 |
|
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