expressivenessComparedTo
P70466
predicate
Indicates a comparison of how expressive one entity is relative to another in conveying meaning, emotion, or nuance.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| hasExpressivenessRelation | 1 |
| isMoreExpressiveThan | 1 |
Sample triples (4)
| Subject | Object |
|---|---|
| DTD | less expressive than XML Schema (XSD) ⓘ |
| DTD | less expressive than RELAX NG ⓘ |
| CTL* | strictly less expressive than the modal mu-calculus via predicate surface "hasExpressivenessRelation" ⓘ |
|
system F
surface form:
System F
|
simply typed lambda calculus via predicate surface "isMoreExpressiveThan" ⓘ |