contradictoryPairs
P127841
predicate
Indicates that the paired entities stand in direct logical opposition such that the truth of one necessarily implies the falsity of the other.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| contradictionFormulation | 1 |
| presentsAsMutuallyExclusive | 1 |
Sample triples (4)
| Subject | Object |
|---|---|
| square of opposition | A and O ⓘ |
| square of opposition | E and I ⓘ |
| Way of Light and Way of Darkness | way of light and way of darkness via predicate surface "presentsAsMutuallyExclusive" ⓘ |
| Negation | not both p and not p via predicate surface "contradictionFormulation" ⓘ |