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:
Predicate logic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
15522913
(xsd:integer)
dbo:
wikiPageRevisionID
936227505
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_category
rdf:
type
skos
:Concept
rdfs:
label
Predicate logic
(en)
skos:
broader
dbc
:Classical_logic
dbc
:Basic_concepts_in_set_theory
dbc
:Propositional_calculus
dbc
:Fuzzy_logic
dbc
:Systems_of_formal_logic
dbc
:Mathematical_logic
skos:
prefLabel
Predicate logic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Predicate_logic?oldid=936227505&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Begriffsschrift
dbr
:Monadic_predicate_calculus
dbr
:Mereology
dbr
:Independence_of_premise
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Intensional_logic
dbr
:Universal_instantiation
dbr
:Predicate_variable
dbr
:Quantifier_rank
dbr
:Free_variables_and_bound_variables
dbr
:Bernays–Schönfinkel_class
dbr
:Clause_(logic)
dbr
:Empty_domain
dbr
:Drinker_paradox
dbr
:Propositional_function
dbr
:First-order_logic
dbr
:Formation_rule
dbr
:Predicate_functor_logic
dbr
:Universal_generalization
dbr
:Predicate_(mathematical_logic)
dbr
:Quantifier_(logic)
dbr
:Atomic_formula
dbr
:Atomic_sentence
dbr
:Higher-order_logic
dbr
:Domain_of_discourse
dbr
:Scope_(logic)
dbr
:Sentence_(mathematical_logic)
dbr
:Extension_(predicate_logic)
dbr
:Existential_generalization
dbr
:Existential_instantiation
dbr
:First-order_predicate
dbr
:Fixed-point_logic
dbr
:Standard_translation
dbr
:Tarski's_World
dbr
:Second-order_predicate
dbr
:Temperature_paradox
is
dcterms:
subject
of
dbr
:Begriffsschrift
dbr
:Monadic_predicate_calculus
dbr
:Mereology
dbr
:Independence_of_premise
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Intensional_logic
dbr
:Universal_instantiation
dbr
:Predicate_variable
dbr
:Quantifier_rank
dbr
:Free_variables_and_bound_variables
dbr
:Bernays–Schönfinkel_class
dbr
:Clause_(logic)
dbr
:Empty_domain
dbr
:Drinker_paradox
dbr
:Propositional_function
dbr
:First-order_logic
dbr
:Formation_rule
dbr
:Predicate_functor_logic
dbr
:Universal_generalization
dbr
:Predicate_(mathematical_logic)
dbr
:Quantifier_(logic)
dbr
:Atomic_formula
dbr
:Atomic_sentence
dbr
:Higher-order_logic
dbr
:Domain_of_discourse
dbr
:Scope_(logic)
dbr
:Sentence_(mathematical_logic)
dbr
:Extension_(predicate_logic)
dbr
:Existential_generalization
dbr
:Existential_instantiation
dbr
:First-order_predicate
dbr
:Fixed-point_logic
dbr
:Standard_translation
dbr
:Tarski's_World
dbr
:Second-order_predicate
dbr
:Temperature_paradox
is
skos:
broader
of
dbc
:Mathematical_relations
dbc
:Quantifier_(logic)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License