definedOn

P4464
predicate

Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.

All labels observed (29)

Label Occurrences
definedOn canonical 327
validOn 239
definedOver 166

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: definedOn
Generated description
Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.

Sample triples (1,090)

Subject Object
United Kingdom declaration of war on Germany (1939) Germany via predicate surface "declaredOn"
brainpool curves prime fields via predicate surface "definedOver"
Koblitz curves GF(2^m) via predicate surface "definedOver"
SNMP-PROXY-MIB network management via predicate surface "definedFor"
Chernoff information pair of probability distributions via predicate surface "definedOver"
Hellinger distance probability distributions
Hellinger distance probability measures
Hellinger distance discrete distributions
Hellinger distance continuous distributions
Ackermann function non-negative integers
Bardeen potential scalar sector of metric perturbations via predicate surface "definedFor"
Chern classes base space of a vector bundle
Chern–Simons theory three-dimensional manifolds
mutawatir hadith usul al-hadith literature via predicate surface "isDefinedIn"
RFC 4519 LDAP via predicate surface "definesFor"
surface form: LDAP directories
RFC 4519 user applications via predicate surface "definesFor"
Weil group local field via predicate surface "definedFor"
Weil group number field via predicate surface "definedFor"
Weil group global field via predicate surface "definedFor"
Weil divisor algebraic variety
Weil cohomology field of characteristic p via predicate surface "definedOver"
Weil cohomology field of characteristic 0 via predicate surface "definedOver"
Weil pairing E[n] × E[n] for an elliptic curve E and integer n
Weil pairing algebraic closure of the base field via predicate surface "definedOver"
Weil representation symplectic group
Weil representation metaplectic group
Weil representation double cover of the symplectic group
Weil representation local fields via predicate surface "definedOver"
Weil representation global fields via predicate surface "definedOver"
Weil representation real numbers via predicate surface "definedOver"
Weil representation p-adic fields via predicate surface "definedOver"
Weil representation finite fields via predicate surface "definedOver"
Turkish Airlines Miles&Smiles Elite Turkish Airlines operated flights via predicate surface "validOn"
Turkish Airlines Miles&Smiles Elite Star Alliance member operated flights via predicate surface "validOn"
Aegean Miles+Bonus Gold Aegean Airlines via predicate surface "validOn"
Aegean Miles+Bonus Gold Olympic Air via predicate surface "validOn"
Aegean Miles+Bonus Gold Star Alliance member airlines via predicate surface "validOn"
Thai Royal Orchid Plus Gold Thai Airways International flights via predicate surface "validOn"
Thai Royal Orchid Plus Gold Star Alliance member flights via predicate surface "validOn"
LOT Miles & More Senator LOT Polish Airlines flights via predicate surface "validOn"
LOT Miles & More Senator Star Alliance member airline flights via predicate surface "validOn"
Air New Zealand Airpoints Gold Air New Zealand operated flights via predicate surface "validOn"
Air New Zealand Airpoints Gold Star Alliance member airline flights via predicate surface "validOn"
Croatia Airlines Miles & More Senator Croatia Airlines via predicate surface "validOn"
surface form: Croatia Airlines flights
Croatia Airlines Miles & More Senator Star Alliance member flights via predicate surface "validOn"
RFC 1659 network management of Ethernet-like interfaces via predicate surface "definesFor"
Warszawska Karta Miejska Warsaw buses via predicate surface "validOn"
Warszawska Karta Miejska Warsaw trams via predicate surface "validOn"
Warszawska Karta Miejska Warsaw Metro via predicate surface "validOn"
surface form: Warsaw metro
Warszawska Karta Miejska Warsaw suburban trains (selected operators) via predicate surface "validOn"