isMoreSpecificThan
P28230
predicate
Indicates that one concept represents a narrower, more detailed, or more constrained case of another concept.
All labels observed (8)
| Label | Occurrences |
|---|---|
| isMoreRestrictiveThan | 3 |
| isMoreSpecificThan canonical | 3 |
| isMoreLimitedThan | 2 |
| isNarrowerThan | 2 |
| hasStrongerExistenceConditionThan | 1 |
| isFinerThan | 1 |
| isMoreDetailedThan | 1 |
| isStrongerInvariantThan | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isMoreSpecificThan
Generated description
Indicates that one concept represents a narrower, more detailed, or more constrained case of another concept.
Sample triples (14)
| Subject | Object |
|---|---|
| Lady of the Thistle | member of the Order of the Thistle ⓘ |
| Class B airspace | Class C airspace via predicate surface "isMoreRestrictiveThan" ⓘ |
| Class B airspace | Class D airspace via predicate surface "isMoreRestrictiveThan" ⓘ |
| Class C airspace | Class D airspace via predicate surface "isMoreRestrictiveThan" ⓘ |
| Jacksonvillian | Floridian ⓘ |
| Jacksonvillian | American ⓘ |
| Peano existence theorem |
local existence and uniqueness theorem
via predicate surface "hasStrongerExistenceConditionThan"
ⓘ
surface form:
Picard–Lindelöf theorem
|
| Form R | Form A via predicate surface "isMoreDetailedThan" ⓘ |
| Keeler Gap | Encke Gap via predicate surface "isNarrowerThan" ⓘ |
| A Division | B Division via predicate surface "isNarrowerThan" ⓘ |
| Khovanov homology | Jones polynomial via predicate surface "isStrongerInvariantThan" NERFINISHED ⓘ |
| Scott topology | weak topology induced by directed suprema via predicate surface "isFinerThan" ⓘ |
| SQLAgentUserRole | SQLAgentOperatorRole via predicate surface "isMoreLimitedThan" NERFINISHED ⓘ |
| SQLAgentUserRole | SQLAgentReaderRole via predicate surface "isMoreLimitedThan" NERFINISHED ⓘ |