| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24545-24551 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24542-24542 | O argumento numero 1 de stringConcatenation e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | O argumento numero 2 de stringConcatenation e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24544-24544 | O argumento numero 3 de stringConcatenation e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24541-24541 | stringConcatenation e' uma instancia de Relacao com Valor Unico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24539-24539 | stringConcatenation e' uma instancia de Predicado Ternario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24540-24540 | stringConcatenation e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24569-24569 | stringConcatenation e' uma sub-relacao de precedesInString |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4666-4666 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4665-4665 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4664-4664 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65944-65944 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24553-24555 | stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a StringConcatenateFn Sequencia Simbolica and Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3294-3299 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3321-3326 |
| consequent |
|
|
|
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