Individual: Ptolemy_Theorem
http://www.inter2geo.eu/2008/ontology/GeoSkills#Ptolemy_Theorem
Annotations
comment:
"We mean that in a cyclic quadrilateral ABCD, AC * BD = AB * CD + BC * AD"
(en)
Types
Theorem
Usage
Ptolemy_Theorem
defaultCommonName
"De stelling van Ptolemaeus"
(nl)
Ptolemy_Theorem
defaultCommonName
"Der Satz von Ptolemäus"
(de)
Ptolemy_Theorem
defaultCommonName
"Ptolemy's theorem"
(en)
created with
OWLDoc