Overview
Entity
Euclidean Geometry Graph
Search
Entity Namespaces
meta
logic
research
geometry
Relation Types
compositionallyPartOf
conceptuallyContainedIn
dependsOn
disjointWith
hasConclusion
hasPremise
instanceOf
subclassOf
possible (schema)
Filter Relations
compositionallyPartOf
conceptuallyContainedIn
dependsOn
disjointWith
hasConclusion
hasPremise
instanceOf
subclassOf
Possible Relations
(shown on focus)
Show possible relations
appliesInferencePrinciple
congruentTo
liesOn
proves
Copy summary
Ctrl/Cmd+Click a node in the graph to view its details here.
EN
RU
Ctrl/Cmd+Click a node → details