Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Television_personality
|
| gptkbp:canLeadTo |
other_WFFs
|
| gptkbp:hasSpecialty |
well-formed formula
|
| https://www.w3.org/2000/01/rdf-schema#label |
WFF 1
|
| gptkbp:isAccessibleBy |
atomic formulas
|
| gptkbp:isCharacterizedBy |
logical connectives
|
| gptkbp:isCitedBy |
syntax rules
|
| gptkbp:isPartOf |
WFF_family
|
| gptkbp:isRelatedTo |
propositional calculus
|
| gptkbp:isUsedIn |
mathematical logic
|
| gptkbp:isUtilizedIn |
formal systems
|