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:
Existential generalization
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Inference rule that infers “there exists an A that is B” from “A is B”
Property
Value
dbo:
description
inference rule that infers “there exists an A that is B” from “A is B”
(en)
dbo:
wikiPageWikiLink
dbr
:Fitch_notation
dbc
:Predicate_logic
dbr
:Validity_(logic)
dbr
:Rule_of_inference
dbr
:First-order_logic
dbr
:Reference
dbr
:Willard_Van_Orman_Quine
dbc
:Rules_of_inference
dbr
:Existential_quantification
dbr
:Universal_instantiation
dbr
:List_of_rules_of_inference
dbr
:Predicate_logic
dbr
:Quantification_(logic)
dbr
:Existential_quantifier
dbp:
field
dbr
:First-order_logic
dbp:
name
Existential generalization
(en)
dbp:
statement
There exists a member in a universal set with a property of
(en)
dbp:
type
dbr
:Rule_of_inference
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Logic-stub
dbt
:Infobox_mathematical_statement
dbt
:Transformation_rules
dbt
:Short_description
dct:
subject
dbc
:Predicate_logic
dbc
:Rules_of_inference
rdfs:
label
Existential generalization
(en)
Generalización existencial
(es)
存在汎化
(ja)
Generalização existencial
(pt)
存在概括
(zh)
owl:
sameAs
yago-res
:Existential generalization
freebase
:Existential generalization
wikidata
:Existential generalization
dbpedia-zh
:Existential generalization
dbpedia-ja
:Existential generalization
dbpedia-pt
:Existential generalization
dbpedia-es
:Existential generalization
dbpedia-sr
:Existential generalization
dbpedia-global
:Existential generalization
prov:
wasDerivedFrom
wikipedia-en
:Existential_generalization?oldid=1263496485&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Existential_generalization
is
dbo:
wikiPageRedirects
of
dbr
:Existential_introduction
is
dbo:
wikiPageWikiLink
of
dbr
:Willard_Van_Orman_Quine
dbr
:Free_logic
dbr
:Existential_quantification
dbr
:Universal_instantiation
dbr
:List_of_rules_of_inference
dbr
:Existential_introduction
is
foaf:
primaryTopic
of
wikipedia-en
:Existential_generalization
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International