Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logical diagram
|
| gptkbp:describes |
logical relationships between categorical propositions
|
| gptkbp:generalizes |
logical hexagon
|
| https://www.w3.org/2000/01/rdf-schema#label |
square of opposition
|
| gptkbp:influencedBy |
gptkb:Aristotle
|
| gptkbp:notableCorner |
A (universal affirmative)
E (universal negative) I (particular affirmative) O (particular negative) |
| gptkbp:originatedIn |
gptkb:Aristotelian_logic
|
| gptkbp:showsRelation |
contradiction
contrariety subalternation subcontrariety |
| gptkbp:studiedIn |
gptkb:logic
gptkb:philosophy |
| gptkbp:usedIn |
traditional logic
|
| gptkbp:visualizes |
gptkb:public_square
|
| gptkbp:bfsParent |
gptkb:Aristotelian_logic
gptkb:Term_logic |
| gptkbp:bfsLayer |
5
|