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 |
| definedFor | 123 |
| isDefinedIn | 82 |
| isDefinedFor | 37 |
| definesFor | 33 |
| isDefinedOver | 18 |
| declaredOn | 8 |
| domainRestriction | 8 |
| isDefinedOn | 8 |
| domainOfDefinition | 6 |
| areDefinedOver | 5 |
| domainOfValidity | 5 |
| isDefinedAt | 4 |
| parameterDomain | 3 |
| typicallyDefinedOver | 3 |
| canBeDefinedOn | 2 |
| constraintOnVariables | 2 |
| definedOnInterval | 2 |
| definedOnGeoid | 1 |
| definedOnInterface | 1 |
| definedOnSigmaAlgebra | 1 |
| definesFunctionOn | 1 |
| definesOn | 1 |
| definitionDomain | 1 |
| domainOfIntegration | 1 |
| mathematicallyDefinedOn | 1 |
| oftenDefinedOn | 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: 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" ⓘ |