From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 13 Sep 2002 11:08:47 +0000 (+0000)
Subject: Modified Files:
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~79
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2fb62ace6214451c2f027423a753d1501a8faac3;p=helm.git

Modified Files:
1)schema-h: added prop. coercion
---

diff --git a/helm/schemas/schema-h b/helm/schemas/schema-h
index 151debbc1..f26e003e1 100644
--- a/helm/schemas/schema-h
+++ b/helm/schemas/schema-h
@@ -261,4 +261,11 @@ refers to</rdfs:comment>
     <rdfs:isDefinedBy rdf:resource = "&hns;" />
 </rdf:Property>
 
+<rdf:Property rdf:about="&hns;coercion">
+    <rdfs:comment>If the object can be a coercion</rdfs:comment>
+    <rdfs:domain rdf:resource="&hns;Object"/>
+    <rdfs:range rdf:resource="&xschemans;boolean"/>
+    <rdfs:isDefinedBy rdf:resource = "&hns;" /> 
+</rdf:Property>
+
 </rdf:RDF>
\ No newline at end of file