<!-- $Id: KIF.xsd,v 1.3 2000/08/13 19:19:20 swick Exp $ -->

<schema xmlns="http://www.w3.org/1999/XMLSchema"
        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	xmlns:s="http://www.w3.org/2000/01/rdf-schema#"
	xmlns:inf="http://www.w3.org/2000/07/hs78/KIF#"
	targetNamespace="http://www.w3.org/2000/07/hs78/KIF#"
	>

<import namespace="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
	schemaLocation="http://www.w3.org/2000/07/rdf.xsd"/>

<element name="wtr" type="rdf:typedNodeType"
	 equivClass="rdf:typedNode" />

<element name="list" type="rdf:typedNodeType"
	 equivClass="rdf:typedNode" />

<element name="null" type="rdf:typedNodeType"
	 equivClass="rdf:typedNode" />

<element name="first" type="rdf:propertyEltRef"
	 equivClass="rdf:propertyElt" />

<element name="rest" type="rdf:valueObj"
	 equivClass="rdf:propertyElt" />

</schema>
