WikicatLogicSymbols

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
rdfs:subClassOf	yago:Symbol106806469
owl:equivalentClass	yago-res:wikicat_Logic_symbols
is rdf:type of	dbr:Metavariable dbr:Sheffer_stroke dbr:Universal_quantification dbr:Vertical_bar dbr:↯ dbr:Predicate_variable dbr:↓ dbr:Modal_operator dbr:Therefore_sign dbr:Logical_conjunction dbr:Horseshoe_(symbol) dbr:Symbol_(formal) dbr:Up_tack dbr:→ dbr:Tilde dbr:Triple_bar dbr:Wedge_(symbol) dbr:Ampersand dbr:Logical_connective dbr:Logical_constant dbr:Logical_disjunction dbr:Tee_(symbol) dbr:Double_turnstile dbr:Arrow_(symbol) dbr:If_and_only_if dbr:Turnstile_(symbol) dbr:Vel_(symbol) dbr:Literal_(mathematical_logic) dbr:Propositional_variable dbr:Existential_quantification dbr:Turned_A dbr:Turned_E dbr:Non-logical_symbol dbr:Subset dbr:↑ dbr:≡

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License