| 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 | Le nombre 1 argument de stringConcatenation est une instance de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | Le nombre 2 argument de stringConcatenation est une instance de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24544-24544 | Le nombre 3 argument de stringConcatenation est une instance de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24541-24541 | stringConcatenation est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24539-24539 | stringConcatenation est une instance de pr�dicat ternaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24540-24540 | stringConcatenation est une instance de relation total |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24569-24569 | stringConcatenation est une sous-relation 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 cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique cha�ne sympbolique est StringConcatenateFn cha�ne sympbolique and cha�ne sympbolique |
| 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