negates
P26929
predicate
Indicates that one entity denies, contradicts, or renders false the assertion, state, or effect expressed by another.
All labels observed (13)
| Label | Occurrences |
|---|---|
| refutes | 12 |
| hasNegationStrategy | 10 |
| counteracts | 9 |
| disclaims | 8 |
| rejectsBeliefIn | 6 |
| truthFunctionOfNegation | 3 |
| negates canonical | 2 |
| refutesBelief | 2 |
| contradictsFact | 1 |
| disproves | 1 |
| negationType | 1 |
| negationWord | 1 |
| teachesNegationOf | 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: negates
Generated description
Indicates that one entity denies, contradicts, or renders false the assertion, state, or effect expressed by another.
Sample triples (57)
| Subject | Object |
|---|---|
| As-Samad | Any deficiency in Allah ⓘ |
| As-Samad | Any need for partner or helper in Allah ⓘ |
| Surah As-Saffat | denial of resurrection via predicate surface "refutesBelief" ⓘ |
| Surah As-Saffat | associating partners with Allah via predicate surface "refutesBelief" ⓘ |
| MIT License | warranty via predicate surface "disclaims" ⓘ |
| MIT License | liability via predicate surface "disclaims" ⓘ |
| Fur language | verbal suffixes via predicate surface "hasNegationStrategy" ⓘ |
| Sadducees | resurrection of the dead via predicate surface "rejectsBeliefIn" ⓘ |
| Sadducees | angels via predicate surface "rejectsBeliefIn" ⓘ |
| Sadducees | spirits via predicate surface "rejectsBeliefIn" ⓘ |
| Brahma Sutras | Buddhist philosophies via predicate surface "refutes" ⓘ |
| Brahma Sutras | Jain philosophies via predicate surface "refutes" ⓘ |
| Brahma Sutras | Samkhya philosophy via predicate surface "refutes" ⓘ |
| Brahma Sutras | Yoga philosophy (certain views) via predicate surface "refutes" ⓘ |
| Brahma Sutras |
Mimamsa
via predicate surface "refutes"
ⓘ
surface form:
Purva Mimamsa (certain views)
|
| Kokota | particle-based negation via predicate surface "hasNegationStrategy" ⓘ |
| Toqabaqita | particle-based negation via predicate surface "hasNegationStrategy" ⓘ |
|
Hippolytus’ work "Contra Noetum"
surface form:
Contra Noetum
|
modalism via predicate surface "refutes" ⓘ |
|
Hippolytus’ work "Contra Noetum"
surface form:
Contra Noetum
|
Sabellian-type Christology via predicate surface "refutes" ⓘ |
| The Cattle | polytheism via predicate surface "refutes" ⓘ |
| The Cattle | idolatry via predicate surface "refutes" ⓘ |
| Humanistic Judaism | supernatural God via predicate surface "rejectsBeliefIn" ⓘ |
| Neque semper arcum tendit Apollo | neque via predicate surface "negationWord" ⓘ |
| Muna language | particle negation via predicate surface "hasNegationStrategy" ⓘ |
| Tasiwit | discontinuous negation (influenced by Arabic, in some varieties) via predicate surface "hasNegationStrategy" ⓘ |
| Swan constructed counterexamples over the rational numbers | general affirmative answer to Noether's problem over Q via predicate surface "disproves" ⓘ |
| Pemon language | uses particles for clausal negation via predicate surface "hasNegationStrategy" ⓘ |
| Barack Obama as United States Secretary of the Treasury | Barack Obama served as President of the United States, not as Secretary of the Treasury via predicate surface "contradictsFact" ⓘ |
| Sea Gnat decoy system | radar-guided anti-ship missiles via predicate surface "counteracts" ⓘ |
| The Star | claims that revelation is human-made via predicate surface "refutes" ⓘ |
| Iraqw | verbal negation affixes via predicate surface "hasNegationStrategy" ⓘ |
| Heart Sutra | five aggregates as inherently existing via predicate surface "teachesNegationOf" ⓘ |
| Kleene strong three-valued logic | maps true to false via predicate surface "truthFunctionOfNegation" ⓘ |
| Kleene strong three-valued logic | maps false to true via predicate surface "truthFunctionOfNegation" ⓘ |
| Kleene strong three-valued logic | maps undefined to undefined via predicate surface "truthFunctionOfNegation" ⓘ |
| Seventh Treatise on the Messiah | heterodox messianic speculations via predicate surface "refutes" ⓘ |
| Patronus Charm | Dementor's Kiss via predicate surface "counteracts" NERFINISHED ⓘ |
| Patronus Charm | Dementor-induced despair via predicate surface "counteracts" ⓘ |
| Expecto Patronum | Dementor’s Kiss via predicate surface "counteracts" NERFINISHED ⓘ |
| Expecto Patronum | Dementor-induced despair via predicate surface "counteracts" ⓘ |
| Reddit user agreement | warranties about uninterrupted service via predicate surface "disclaims" ⓘ |
| Reddit user agreement | warranties about accuracy of content via predicate surface "disclaims" ⓘ |
| Mozilla Public License | warranties via predicate surface "disclaims" ⓘ |
| NHS website guidance | replacement of professional medical advice via predicate surface "disclaims" ⓘ |
| Lau | negation marked by particles via predicate surface "hasNegationStrategy" ⓘ |
| Mekeo language | verbal negation particles via predicate surface "hasNegationStrategy" ⓘ |
| Ceci n’est pas une pipe | explicit denial of identity between image and object via predicate surface "negationType" ⓘ |
| Italian Sign Language | manual signs plus head movement via predicate surface "hasNegationStrategy" ⓘ |
| SIGMA protocol family | key-compromise impersonation attacks via predicate surface "counteracts" ⓘ |
| SIGMA protocol family | unknown key-share attacks via predicate surface "counteracts" ⓘ |