Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/resource/Template:Formal_semantics
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
66915519
(xsd:integer)
dbo:
wikiPageRevisionID
1124688370
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Navbox
prov:
wasDerivedFrom
wikipedia-en
:Template:Formal_semantics?oldid=1124688370&ns=10
is
dbp:
wikiPageUsesTemplate
of
dbr
:Predicate_(grammar)
dbr
:Epistemic_modality
dbr
:Montague_grammar
dbr
:Mereology
dbr
:Principle_of_compositionality
dbr
:Privative_adjective
dbr
:Bound_variable_pronoun
dbr
:Antecedent-contained_deletion
dbr
:Restrictiveness
dbr
:Cumulativity_(linguistics)
dbr
:De_dicto_and_de_re
dbr
:De_se
dbr
:Definite_description
dbr
:Definiteness
dbr
:Descriptivist_theory_of_names
dbr
:Donkey_sentence
dbr
:Dynamic_modality
dbr
:Dynamic_semantics
dbr
:Indexicality
dbr
:Indirect_speech
dbr
:Inquisitive_semantics
dbr
:Intension
dbr
:Intensional_logic
dbr
:Interlocutor_(linguistics)
dbr
:Intersective_modifier
dbr
:Lexical_semantics
dbr
:Possible_world
dbr
:Ellipsis_(linguistics)
dbr
:Generalized_quantifier
dbr
:Generic_antecedent
dbr
:Negation
dbr
:Performative_verb
dbr
:Scalar_implicature
dbr
:Truth-conditional_semantics
dbr
:Question_under_discussion
dbr
:R-expression
dbr
:Grammatical_tense
dbr
:Modality_(linguistics)
dbr
:Monad_(functional_programming)
dbr
:Conditional_sentence
dbr
:Conservativity
dbr
:Content_clause
dbr
:Context_(language_use)
dbr
:Continuation
dbr
:Contrast_(linguistics)
dbr
:Conversational_scoreboard
dbr
:Coreference
dbr
:Crossover_effects
dbr
:Combinatory_categorial_grammar
dbr
:Common_ground_(linguistics)
dbr
:Denotation
dbr
:Deontic_modality
dbr
:Faultless_disagreement
dbr
:Felicity_(pragmatics)
dbr
:Identity_type
dbr
:Lexical_aspect
dbr
:Propositional_attitude
dbr
:Polarity_item
dbr
:Proposition
dbr
:Tense–aspect–mood
dbr
:Mass_noun
dbr
:Meaning_postulate
dbr
:Rigid_designator
dbr
:Type_theory
dbr
:Givenness
dbr
:Linguistics_wars
dbr
:Logical_form_(linguistics)
dbr
:Logophoricity
dbr
:Mirativity
dbr
:Vivid_designator
dbr
:Anaphora_(linguistics)
dbr
:Alternative_semantics
dbr
:Ambiguity
dbr
:Discourse
dbr
:Discourse_relation
dbr
:Discourse_representation_theory
dbr
:Focus_(linguistics)
dbr
:Formal_semantics_(natural_language)
dbr
:Frame_semantics_(linguistics)
dbr
:Glue_semantics
dbr
:Grammatical_mood
dbr
:Logical_connective
dbr
:Logical_consequence
dbr
:M-command
dbr
:Opaque_context
dbr
:Strict_conditional
dbr
:Logical_disjunction
dbr
:Presupposition
dbr
:Quantificational_variability_effect
dbr
:Quantifier_(logic)
dbr
:Quantization_(linguistics)
dbr
:Sense_and_reference
dbr
:Telicity
dbr
:Counterfactual_conditional
dbr
:Hurford_disjunction
dbr
:Affirmation_and_negation
dbr
:Lambda_calculus
dbr
:Binding_(linguistics)
dbr
:Coercion_(linguistics)
dbr
:Term_logic
dbr
:Modal_subordination
dbr
:Autonomy_of_syntax
dbr
:C-command
dbr
:Specificity_(linguistics)
dbr
:Free_choice_inference
dbr
:Frege's_puzzles
dbr
:Inalienable_possession
dbr
:Cataphora
dbr
:Categorial_grammar
dbr
:Scope_(formal_semantics)
dbr
:Semantics
dbr
:Vagueness
dbr
:Syntactic_ambiguity
dbr
:Universal_grinder
dbr
:Exophora
dbr
:Extension_(semantics)
dbr
:Extensional_context
dbr
:Import–export_(logic)
dbr
:Situation_semantics
dbr
:Type–token_distinction
dbr
:Veridicality
dbr
:Subsective_modifier
dbr
:Subtrigging
dbr
:Evidentiality
dbr
:Existential_closure
dbr
:Syntax–semantics_interface
dbr
:Speech_act
dbr
:Semantic_ambiguity
dbr
:Supervaluationism
dbr
:Non-rigid_designator
dbr
:Pragmatics
dbr
:Volitive_modality
dbr
:Performative_utterance
dbr
:Responsive_predicate
dbr
:Slifting
dbr
:Sloppy_identity
dbr
:Two-dimensionalism
dbr
:Type_shifter
dbr
:Type_theory_with_records
dbr
:Rising_declarative
dbr
:Temperature_paradox
dbr
:Squiggle_operator
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License