# $Id: tpoint-facts.n3,v 1.7 2002/04/05 14:09:24 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2001/10/daml+oil#> .
@prefix : <tpoint#> .

:sum a owl:UnambiguousProperty .
:product a owl:UnambiguousProperty .
:minus a owl:UnambiguousProperty .
:slash a owl:UnambiguousProperty .
:square a owl:UnambiguousProperty .
:sqrt a owl:UnambiguousProperty .

([ :center [ :X :0; :Y :2]; :radius [ :product :2, [ :slash [ :sqrt :5]]]; :apoint [ :X :3; :Y :6]]) a :Measurement.