hasMetalanguage
P123560
predicate
Indicates that one entity serves as a metalanguage used to describe, define, or reason about another language or formal system.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| hasSpecificationLanguage | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Lou Tresor dóu Felibrige | French ⓘ |
| TLA+ | PlusCal via predicate surface "hasSpecificationLanguage" NERFINISHED ⓘ |