usesNotationFor

P95660
predicate

Indicates that one entity employs or adopts a particular notation system or symbolic representation for another entity.

Try in SPARQL

All labels observed (11)

Label Occurrences
hasNotationExample 5
hasNotationRule 4
usesNotationFor canonical 4

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: usesNotationFor
Generated description
Indicates that one entity employs or adopts a particular notation system or symbolic representation for another entity.

Sample triples (23)

Subject Object
Concept Script quantifiers ⓘ
Concept Script logical connectives ⓘ
Concept Script identity ⓘ
Concept Script functions and arguments ⓘ
Milnor K-theory {a_1,…,a_n} for elements of K_n^M(F) via predicate surface "hasSymbolNotation" ⓘ
SR (for State Route)
surface form: SR
California State Route numbering system via predicate surface "partOfNotation" ⓘ
javacc
surface form: JavaCC
EBNF-like syntax via predicate surface "supportsGrammarNotation" ⓘ
Cantós de España Western staff notation via predicate surface "isWrittenNotation" ⓘ
UIC classification capital letters indicate powered axle groups via predicate surface "hasNotationRule" ⓘ
UIC classification digits indicate unpowered axle groups via predicate surface "hasNotationRule" ⓘ
UIC classification repeated letters or numbers indicate multiple groups of the same type via predicate surface "hasNotationRule" ⓘ
UIC classification prime marks indicate axles mounted in bogies or pivoting frames via predicate surface "hasNotationRule" ⓘ
Bayer designations "α Centauri" via predicate surface "hasNotationExample" NERFINISHED ⓘ
Bayer designations "β Orionis" via predicate surface "hasNotationExample" NERFINISHED ⓘ
Bayer designations "γ Crucis" via predicate surface "hasNotationExample" NERFINISHED ⓘ
Ceti stellar naming conventions via predicate surface "partOfNotation" ⓘ
Notation III for solo piano traditional staff notation with advanced symbols via predicate surface "isWrittenInNotation" ⓘ
Essai sur la théorie des nombres Legendre symbol via predicate surface "usedNotation" NERFINISHED ⓘ
Igo Go game record via predicate surface "isRepresentedWithNotation" ⓘ
Bekker numbering "Metaph. 1003a21" via predicate surface "hasNotationExample" ⓘ
Bekker numbering "EN 1094b10" via predicate surface "hasNotationExample" ⓘ
Vexations to be repeated 840 times via predicate surface "hasNotatedInstruction" ⓘ
Analyse des infiniment petits pour l’intelligence des lignes courbes Leibniz notation for derivatives via predicate surface "usedNotation" ⓘ