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/class/yago/WikicatMathematicalAxioms
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Maxim107152948
owl:
equivalentClass
yago-res
:wikicat_Mathematical_axioms
is
rdf:
type
of
dbr
:Begging_the_question
dbr
:Mereotopology
dbr
:Homotopy_type_theory
dbr
:Peano_axioms
dbr
:Tarski's_axioms
dbr
:Whitehead's_point-free_geometry
dbr
:Completeness_of_the_real_numbers
dbr
:Construction_of_the_real_numbers
dbr
:Blum_axioms
dbr
:Playfair's_axiom
dbr
:Axiom_S5
dbr
:Pasch's_axiom
dbr
:Gluing_axiom
dbr
:Goodstein's_theorem
dbr
:Hilbert's_axioms
dbr
:Predicate_functor_logic
dbr
:Relation_algebra
dbr
:Huzita–Hatori_axioms
dbr
:Eilenberg–Steenrod_axioms
dbr
:Axiom_of_choice
dbr
:Axiom_of_countability
dbr
:Axiom_of_countable_choice
dbr
:Axiom_of_empty_set
dbr
:Axiom_of_extensionality
dbr
:Axiom_of_infinity
dbr
:Axiom_of_pairing
dbr
:Axiom_of_power_set
dbr
:Axiom_of_regularity
dbr
:Axiom_of_union
dbr
:Kuratowski_closure_axioms
dbr
:Cantor–Dedekind_axiom
dbr
:Tarski's_axiomatization_of_the_reals
dbr
:Probability_axioms
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License