Facets (new session)
Description
Metadata
Settings
Rule:
ActivityStreamsMap
asEquivalent
b3s
b3sifp
dbprdf-label
facets
http://dbpedia.org/resource/inference/rules/dbpedia#
http://dbpedia.org/resource/inference/rules/opencyc#
http://dbpedia.org/resource/inference/rules/umbel#
http://dbpedia.org/resource/inference/rules/yago#
http://dbpedia.org/schema/property_rules#
http://www.ontologyportal.org/inference/rules/SUMO#
http://www.ontologyportal.org/inference/rules/WordNet#
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
urn:det:rdf:label
virtrdf-label
virtrdf-url
None
Inverse Functional Properties:
Disabled (fastest)
Apply to subjects only
Apply to objects only
Apply to both subjects and objects
"Same As":
Disabled (fastest)
Apply to subjects only
Apply to objects only
Apply to both subjects and objects (recommended)
Apply to subjects, objects and predicates (not recommended on big datasets)
Apply to predicates only (special use cases only)
About:
Logical truth
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
skos:Concept
, within Data Space :
dbpedia.demo.openlinksw.com
associated with source
document(s)
Type:
skos:Concept
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
rdfs:label
Logical truth
(en)
skos:broader
A priori
Philosophy of logic
Concepts in logic
Necessity
Truth
skos:prefLabel
Logical truth
(en)
Wikipage page ID
27615611
(
xsd:integer
)
Wikipage revision ID
1022182227
(
xsd:integer
)
sameAs
Logical truth
dbp:wikiPageUsesTemplate
dbt:Commons
dbt:See_also
dbt:Cat_main
prov:wasDerivedFrom
wikipedia-en:Category:Logical_truth?oldid=1022182227&ns=14
is
skos:broader
of
Logical consequence
Rules of inference
is
dct:subject
of
Proof (truth)
Two Dogmas of Empiricism
Validity (logic)
Substitution (logic)
Logical form
Logical truth
Direct proof
Formal proof
Formation rule
Logical constant
Tautology (logic)
Rule of inference
Satisfiability
is
Link from a Wikipage to another Wikipage
of
Proof (truth)
Two Dogmas of Empiricism
Validity (logic)
Substitution (logic)
Logical form
Logical truth
Direct proof
Formal proof
Formation rule
Logical constant
Tautology (logic)
Rule of inference
Satisfiability
Faceted Search & Find service v1.17_git147 as of Sep 06 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 64 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software