isInterpretableIn
P121196
predicate
Indicates that one formal system, language, or theory can be meaningfully represented, understood, or given a semantics within another system, language, or theory.
Observed surface forms (1)
- canBeInterpretedInto ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Bulgarian Sign Language | spoken Bulgarian via predicate surface "canBeInterpretedInto" ⓘ |
| Kripke–Platek set theory | Zermelo–Fraenkel set theory ⓘ |