property
P5774
predicate
Indicates that one entity possesses, is characterized by, or has an attribute or quality associated with another entity.
Aliases (3)
- studiesProperty ×9
- statedProperty ×5
- propertyStandard ×1
Sample triples (185)
| Subject | Object |
|---|---|
| Antarctic Circle | within this circle there is at least one 24-hour period of continuous darkness each year → |
| Antarctic Circle | within this circle there is at least one 24-hour period of continuous daylight each year → |
| Arctic Circle | marks region where at least one day per year has 24 hours of darkness → |
| Arctic Circle | marks region where at least one day per year has 24 hours of daylight → |
| B-tree | all leaves at same depth → |
| B-tree | balanced height → |
| B-tree | height grows logarithmically with number of keys → |
| B-tree | keys stored in sorted order → |
| B-tree | multi-way branching → |
| B-tree | nodes can have many children → |
| Banker's algorithm | conservative in resource allocation → |
| CLIP | aligns image and text embeddings in a shared space → |
| CLIP | does not require task-specific fine-tuning for many tasks → |
| CLIP | uses cosine similarity in embedding space → |
| Cavorite | blocks gravitational attraction → |
| Cavorite | generates anti-gravity effect → |
| ChaCha20 | designed for high performance in software → |
| ChaCha20 | does not require hardware acceleration for good performance → |
| ChaCha20 | resistant to cache-timing attacks in typical implementations → |
| ChaCha20 | suitable for mobile devices → |
| ChaCha20 | uses 4x4 matrix state → |
| Chemistry | composition of matter via predicate surface "studiesProperty" → |
| Chemistry | properties of matter via predicate surface "studiesProperty" → |
| Chemistry | structure of matter via predicate surface "studiesProperty" → |
| Chemistry | transformations of matter via predicate surface "studiesProperty" → |
| Colorado Yule marble | good weather resistance → |
| Colorado Yule marble | high compressive strength → |
| Colorado Yule marble | takes high polish → |
| Common Muon and Proton Apparatus for Structure and Spectroscopy | generalized parton distributions via predicate surface "studiesProperty" → |
| Common Muon and Proton Apparatus for Structure and Spectroscopy | gluon polarization via predicate surface "studiesProperty" → |
| Common Muon and Proton Apparatus for Structure and Spectroscopy | hadron excitation spectrum via predicate surface "studiesProperty" → |
| Common Muon and Proton Apparatus for Structure and Spectroscopy | nucleon spin structure via predicate surface "studiesProperty" → |
| Common Muon and Proton Apparatus for Structure and Spectroscopy | transverse-momentum-dependent parton distributions via predicate surface "studiesProperty" → |
| Cotton | comfortable against skin → |
| Cotton | good breathability → |
| Cotton | good dye affinity → |
| Cotton | high moisture absorbency → |
| Cotton | low elasticity → |
| Cotton | moderate tensile strength → |
| Diffie–Hellman key exchange | security relies on hardness of computing discrete logarithms → |
| Diffie–Hellman key exchange | symmetric shared secret is never transmitted directly → |
| Diffie–Hellman key exchange | vulnerable to man-in-the-middle attacks without authentication → |
| Eddington–Finkelstein coordinates | adapted to radial null geodesics → |
| Eddington–Finkelstein coordinates | metric contains off-diagonal term in dv dr or du dr → |
| Eddington–Finkelstein coordinates | non-static metric form → |
| Eddington–Finkelstein coordinates | regular at the event horizon → |
| Eddington–Finkelstein coordinates | remove the coordinate singularity at r = 2M in Schwarzschild coordinates → |
| Einstein tensor | covariantly divergence-free → |
| Euler–Maclaurin summation formula | gives exact equality when full infinite expansion is used under suitable conditions → |
| Euler–Maclaurin summation formula | remainder can often be bounded using higher derivatives → |
| Euler–Maclaurin summation formula | truncated expansion yields asymptotic approximation → |
| Euler’s totient function φ(n) | φ is multiplicative: if gcd(m,n) = 1 then φ(mn) = φ(m)φ(n) → |
| Euler’s totient function φ(n) | φ is not completely multiplicative → |
| Euler’s totient function φ(n) | φ(n) counts integers k with 1 ≤ k ≤ n and gcd(k,n) = 1 → |
| Eye of Harmony | artificially suspended in time → |
| Eye of Harmony | central to Time Lord power structure → |
| Eye of Harmony | linked to all TARDISes → |
| FHA 203(b) basic home mortgage program | property must meet FHA minimum property standards via predicate surface "propertyStandard" → |
| Frisch–Peierls memorandum | a compact fission bomb could produce extremely large explosive yields via predicate surface "statedProperty" → |
| Frisch–Peierls memorandum | a small critical mass of uranium-235 could sustain a fast neutron chain reaction via predicate surface "statedProperty" → |
| Frisch–Peierls memorandum | a uranium-235 bomb could be delivered by aircraft via predicate surface "statedProperty" → |
| Frisch–Peierls memorandum | industrial-scale isotope separation would be required via predicate surface "statedProperty" → |
| Frisch–Peierls memorandum | no known defense would be effective against such a bomb via predicate surface "statedProperty" → |
| Gauss map | Jacobian determinant equals Gaussian curvature up to sign → |
| Gauss map | differential equals negative of shape operator → |
| Gaussian curvature | can be computed from the metric alone → |
| Gaussian curvature | invariant under local isometries of surfaces → |
| Gaussian elimination | preserves solution set of the linear system → |
| Gaussian integral | convergent improper integral → |
| Gaussian units | Coulomb constant k_e equals 1 in vacuum → |
| Gaussian units | electric and magnetic fields have the same dimensions in vacuum → |
| Gaussian units | electric charge is not a base dimension → |
| Gaussian units | speed of light c appears explicitly in Maxwell equations → |
| Gaussian units | vacuum permeability is dimensionless and equals 1 → |
| Gaussian units | vacuum permittivity is dimensionless and equals 1 → |
| Gauss’s constant | dimensionless quantity → |
| Gauss’s constant | positive real number → |
| George Washington Parke Custis |
Arlington House plantation
→
surface form: "Arlington estate"
|
| Georgia marble | takes high polish → |
| Georgia marble | weather-resistant → |
| Grothendieck universe | closed under pairing → |
| Grothendieck universe | closed under power set → |
| Grothendieck universe | closed under unions of families indexed by elements of the universe → |
| Grothendieck universe | transitive set → |
| Gungnir | always returns to its owner → |
| Gungnir | never misses its target → |
| Gungnir | powerful enchantments → |
| Gungnir | unerring accuracy → |
| HMAC | resistant to length extension attacks (when underlying hash is vulnerable) → |
| International System of Units | coherent system of units → |
| International System of Units | decimal-based → |
| Knuth–Morris–Pratt algorithm | guaranteed worst-case linear time → |
| Knuth–Morris–Pratt algorithm | runs in time linear in the length of the text plus pattern → |
| Knuth–Morris–Pratt algorithm | stable performance independent of alphabet size → |
| Lebesgue spaces | Banach spaces for 1 ≤ p ≤ ∞ → |
| Lebesgue spaces | complete normed spaces → |
| Levi-Civita connection | metric-compatible → |
| Levi-Civita connection | torsion-free → |
| Markov chain Monte Carlo | asymptotically exact under regularity conditions → |
| Markov chain Monte Carlo | produces correlated samples → |
| Markov chain Monte Carlo | requires convergence to stationary distribution → |
|
Matrix
surface form: "Matrix (Doctor Who)"
|
sentient → |
|
Matrix
surface form: "Matrix (Doctor Who)"
|
vast → |
|
Matrix
surface form: "Matrix (Doctor Who)"
|
virtual reality construct → |
| Merkle–Damgård construction | length extension property → |
| Minkowski functional | nonnegative → |
| Minkowski functional | positively homogeneous → |
| Minkowski functional | subadditive → |
| Minkowski functional | sublinear → |
| Minkowski functional | vanishes at the origin → |
| Noetherian space | Noetherian spaces satisfy the ascending chain condition on open sets → |
| Noetherian space | Noetherian spaces satisfy the descending chain condition on closed sets → |
| Noetherian space | a Noetherian space is quasi-compact → |
| Noetherian space | a Noetherian space need not be Hausdorff → |
| Noetherian space | every closed subset is a Noetherian space with the subspace topology → |
| Noetherian space | every continuous image of a Noetherian space is Noetherian → |
| Noetherian space | finite topological spaces are Noetherian → |
| Noetherian space | in a Noetherian space every nonempty closed subset has an irreducible component → |
| Noetherian space | in a Noetherian space every open subset is a finite union of irreducible open subsets → |
| Noetherian space | in a Noetherian space every subset is a finite union of irreducible closed subsets → |
| PICA-X | ablative cooling → |
| PICA-X | high temperature resistance → |
| PICA-X | improved manufacturability → |
| PICA-X | low density → |
| PICA-X | reduced manufacturing cost compared to original PICA → |
| PPO | relatively easy to implement → |
| PPO | robust to hyperparameter choices → |
| PPO | widely adopted as a default RL baseline → |
|
Penrose–Carter diagrams
surface form: "Penrose–Carter diagram"
|
angles of null directions are preserved → |
|
Penrose–Carter diagrams
surface form: "Penrose–Carter diagram"
|
maps infinite spacetime regions to finite regions → |
|
Penrose–Carter diagrams
surface form: "Penrose–Carter diagram"
|
preserves causal structure under conformal transformation → |
| Portland stone | durable → |
| Portland stone | good weather resistance → |
| Portland stone | uniform texture → |
| Radon–Nikodym derivative | linearity in the measure → |
| Radon–Nikodym derivative | non-negativity when measures are positive → |
| Radon–Nikodym derivative | uniqueness up to μ-almost everywhere equality → |
| Ramanujan partition congruences | show that certain partition numbers are always divisible by a given prime → |
| Ravenscar profile | analyzable concurrency → |
| Ravenscar profile | bounded resource usage → |
| Ravenscar profile | deterministic behavior → |
| Ravenscar profile | reduced runtime complexity → |
| Richter magnitude scale | each whole number step corresponds to about 31.6 times more energy release → |
| Richter magnitude scale | each whole number step represents tenfold increase in wave amplitude → |
| Riemann–Liouville integral | depends on entire past history from a to x → |
| Riemann–Liouville integral | nonlocal operator → |
| Right Hand of Doom | cannot be easily damaged → |
| Right Hand of Doom | much larger than a normal hand → |
| Right Hand of Doom | rigid, stone-like surface → |
| Rosendale cement | high durability → |
| Rosendale cement | hydraulic → |
| Rosendale cement | low heat of hydration → |
| Rosendale cement | slow-setting → |
| Rosendale cement | sulfate resistance → |
| S-matrix | Lorentz invariant (in relativistic QFT) → |
| S-matrix | causal (consistent with microcausality) → |
| S-matrix | unitary (S†S = 1) → |
| SVG | compressible with gzip → |
| SVG | device independent → |
| SVG | human-readable markup → |
| SVG | resolution independent → |
| SVG | scalable without quality loss → |
| SVG | supports responsive design → |
| SVG | supports zooming → |
| SVG | text searchable → |
| Schwarzschild telescope | high image quality over large field → |
| Schwarzschild telescope | wide, well-corrected field of view → |
| Time And Relative Dimension In Space | dimensionally transcendental interior → |
| Time And Relative Dimension In Space | sentient or semi-sentient nature → |
| Time And Relative Dimension In Space | telepathic circuits → |
| Time Vortex | dangerous to unprotected travelers → |
| Tsallis entropy | Lesche-stable for certain q ranges → |
| Tsallis entropy | concave for appropriate q ranges → |
| WebAssembly System Interface | capability-based → |
| WebAssembly System Interface | language-agnostic → |
| WebAssembly System Interface | modular → |
| WebAssembly System Interface | platform-independent → |
| WebAssembly System Interface | sandbox-friendly → |
| Whitney stratification | compatible with many geometric and analytic constructions → |
| Whitney stratification | refinement of any given decomposition into smooth pieces can often be made Whitney-regular → |
| Wikkit Key | intricate → |
| Wikkit Key | powerful → |
| Zero Degree Calorimeters | compact design → |
| Zero Degree Calorimeters | fast timing response → |
| Zero Degree Calorimeters | high radiation tolerance → |