Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/LogicSymbols> . }
Showing items 1 to 17 of
17
with 100 items per page.
- Arrow_(symbol) type LogicSymbols.
- Double_turnstile type LogicSymbols.
- Existential_quantification type LogicSymbols.
- Literal_(mathematical_logic) type LogicSymbols.
- Logical_connective type LogicSymbols.
- Logical_constant type LogicSymbols.
- Modal_operator type LogicSymbols.
- Non-logical_symbol type LogicSymbols.
- Propositional_variable type LogicSymbols.
- Symbol_(formal) type LogicSymbols.
- Tee_(symbol) type LogicSymbols.
- Therefore_sign type LogicSymbols.
- Triple_bar type LogicSymbols.
- Turnstile_(symbol) type LogicSymbols.
- Universal_quantification type LogicSymbols.
- Up_tack type LogicSymbols.
- Vertical_bar type LogicSymbols.